<oerjan> mv wisdom/{"the reals",real}
author |
HackBot |
date |
Sat, 06 Jun 2015 15:56:34 +0000 |
parents |
f5334eb90e3c |
children |
a412f80d6984 |
files |
wisdom/real wisdom/the reals |
diffstat |
2 files changed, 1 insertions(+), 1 deletions(-)
[+]
|
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/real Sat Jun 06 15:56:34 2015 +0000
@@ -0,0 +1,1 @@
+The reals are a complete ordered Brazilian currency invented by Taneb in 1994. They are universally useful in homotopy.
--- a/wisdom/the reals Sat Jun 06 05:14:57 2015 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-The reals are a complete ordered Brazilian currency invented by Taneb in 1994. They are universally useful in homotopy.