# HG changeset patch
# User HackBot
# Date 1487268786 0
# Node ID 6de523f1d58b097fe9313388020ff7bc5732214d
# Parent  f6724d2a77760cf8ac901524df067486285bc7d8
<oerjan> rm bin/disce

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