# HG changeset patch
# User HackBot
# Date 1487268805 0
# Node ID a7b7e9a466b43a2ef63ad8eab562ebe2754275ec
# Parent  6de523f1d58b097fe9313388020ff7bc5732214d
<oerjan> revert

diff -r 6de523f1d58b -r a7b7e9a466b4 bin/disce
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/disce	Thu Feb 16 18:13:25 2017 +0000
@@ -0,0 +1,1 @@
+/hackenv/bin/learn
\ No newline at end of file