summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoey Hess2015-10-20 12:48:53 -0400
committerJoey Hess2015-10-20 12:48:53 -0400
commit233bb15df00f69b882a1ecb456667480042e5dc8 (patch)
tree8444c3f5113a2dec13e3174cf6233201dd4bdeeb
parent9f40055b5474279a1fc79a85cbb38a975c77284e (diff)
mv
-rw-r--r--doc/todo/type_level_port_conflict_detection.mdwn2
-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