# HG changeset patch
# User HackBot
# Date 1372557592 0
# Node ID 75e8a755bfd5aea5138a8f0dfb9cbd76ad199f62
# Parent  72e50bb3171f79baf7906b6c88cf56891215f852
<oerjan> mv wisdom/hthmonoid{s,} # hth

diff -r 72e50bb3171f -r 75e8a755bfd5 wisdom/hthmonoid
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/hthmonoid	Sun Jun 30 01:59:52 2013 +0000
@@ -0,0 +1,1 @@
+hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids ...
diff -r 72e50bb3171f -r 75e8a755bfd5 wisdom/hthmonoids
--- a/wisdom/hthmonoids	Sun Jun 30 01:59:02 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids ...