# HG changeset patch
# User HackBot
# Date 1416394082 0
# Node ID 76d6283ad7498bb67120483214c94589b5c165fe
# Parent  008ce98d012fdeb8b073af6a54cdd01c8d205e36
<shachaf> ` (cat bin/slashlearn | head -n-1; echo \'echo $op\'; tail -n1 bin/slashlearn) > /tmp/foo; chmod +x /tmp/foo; /tmp/foo \'identity function/blah\'; rm -f wisdom/\'identity function\'

diff -r 008ce98d012f -r 76d6283ad749 wisdom/identity function
--- a/wisdom/identity function	Wed Nov 19 10:47:40 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-blah