annotate real @ 6098:ee28d7076df9

<mauris> ` echo "sed \'s/\\(.\\)/\\1\\x0f/g\'" > bin/noping && chmod +x bin/noping
author HackBot
date Mon, 19 Oct 2015 20:21:45 +0000
parents b537f56c4b78
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5424
b537f56c4b78 <oerjan> ` ln -s wisdom/{"the reals"} real
HackBot
parents:
diff changeset
1 wisdom/{the reals}