# HG changeset patch
# User HackBot
# Date 1433607484 0
# Node ID a52f3acba0b52a6c3a0ac63509084b0f960886ec
# Parent  b74efba3790f5de1afcade2f1d2d585531cbc19a
<oerjan> ` ln -s real wisdom/"the reals"

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