# HG changeset patch
# User HackBot
# Date 1448696231 0
# Node ID 8e2a263249aa04d7ef6afbf5065261518c6834d7
# Parent  a46f27f25936cb2cd4b387552c175aa5e541c56a
<oerjan> rm real

diff -r a46f27f25936 -r 8e2a263249aa real
--- a/real	Sat Nov 28 07:35:56 2015 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-wisdom/{the reals}
\ No newline at end of file