# HG changeset patch
# User HackBot
# Date 1373082080 0
# Node ID b795c560b4a84a680187aa688dc3125fa5c047bf
# Parent  d0fa860458af0ce7b030297a7894ba29b6828e43
<oerjan> echo \'A partial order is just a small thin skeletal category.\' >wisdom/\'partial order\'

diff -r d0fa860458af -r b795c560b4a8 wisdom/partial order
--- a/wisdom/partial order	Sat Jul 06 03:40:42 2013 +0000
+++ b/wisdom/partial order	Sat Jul 06 03:41:20 2013 +0000
@@ -1,1 +1,1 @@
-A partial order is just a thin skeletal category.
+A partial order is just a small thin skeletal category.