diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-10-20 12:48:53 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-10-20 12:48:53 -0400 |
| commit | 233bb15df00f69b882a1ecb456667480042e5dc8 (patch) | |
| tree | 8444c3f5113a2dec13e3174cf6233201dd4bdeeb | |
| parent | 9f40055b5474279a1fc79a85cbb38a975c77284e (diff) | |
mv
| -rw-r--r-- | doc/todo/type_level_port_conflict_detection.mdwn | 2 | ||||
| -rw-r--r-- | doc/users/joey.mdwn (renamed from doc/user/joey.mdwn) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/todo/type_level_port_conflict_detection.mdwn b/doc/todo/type_level_port_conflict_detection.mdwn index 6708ac3a..46a68baa 100644 --- a/doc/todo/type_level_port_conflict_detection.mdwn +++ b/doc/todo/type_level_port_conflict_detection.mdwn @@ -4,4 +4,4 @@ Needs ghc newer than 7.6.3. It may be possible to port Data.Type.Equality and Data.Type.Bool to older versions; I got them to compile but they didn't work right. --[[Joey]] -[[!tag user/joey]] +[[!tag users/joey]] diff --git a/doc/user/joey.mdwn b/doc/users/joey.mdwn index d4a15602..d4a15602 100644 --- a/doc/user/joey.mdwn +++ b/doc/users/joey.mdwn |