# HG changeset patch
# User HackBot
# Date 1373082090 0
# Node ID 1ab2a2d2d37c0706031af043c1843c4de9c92f9c
# Parent  b795c560b4a84a680187aa688dc3125fa5c047bf
<oerjan> echo \'A preorder is just a small thin category.\' >wisdom/\'preorder\'

diff -r b795c560b4a8 -r 1ab2a2d2d37c wisdom/preorder
--- a/wisdom/preorder	Sat Jul 06 03:41:20 2013 +0000
+++ b/wisdom/preorder	Sat Jul 06 03:41:30 2013 +0000
@@ -1,1 +1,1 @@
-A preorder is just a thin category.
+A preorder is just a small thin category.