# HG changeset patch
# User HackBot
# Date 1433607231 0
# Node ID d2ad57cff9554a1156cb0fb8ef7fa65ca5677f25
# Parent  e7e160eb65cad74ba7c2fcda894c5322b3a1cc18
<oerjan> ` ln -s wisdom/{real,"the reals"}

diff -r e7e160eb65ca -r d2ad57cff955 wisdom/the reals
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/the reals	Sat Jun 06 16:13:51 2015 +0000
@@ -0,0 +1,1 @@
+wisdom/real
\ No newline at end of file