From 233bb15df00f69b882a1ecb456667480042e5dc8 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 20 Oct 2015 12:48:53 -0400 Subject: mv --- doc/todo/type_level_port_conflict_detection.mdwn | 2 +- doc/user/joey.mdwn | 1 - doc/users/joey.mdwn | 1 + 3 files changed, 2 insertions(+), 2 deletions(-) delete mode 100644 doc/user/joey.mdwn create mode 100644 doc/users/joey.mdwn (limited to 'doc') 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/user/joey.mdwn deleted file mode 100644 index d4a15602..00000000 --- a/doc/user/joey.mdwn +++ /dev/null @@ -1 +0,0 @@ -Joey was propellor's first user. diff --git a/doc/users/joey.mdwn b/doc/users/joey.mdwn new file mode 100644 index 00000000..d4a15602 --- /dev/null +++ b/doc/users/joey.mdwn @@ -0,0 +1 @@ +Joey was propellor's first user. -- cgit v1.2.3