changeset 10295:6de523f1d58b

<oerjan> rm bin/disce
author HackBot
date Thu, 16 Feb 2017 18:13:06 +0000
parents f6724d2a7776
children a7b7e9a466b4
files bin/disce
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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