# HG changeset patch
# User HackBot
# Date 1459534208 0
# Node ID 02013cf32f7f6162fc8add6f529eaec3b1966faa
# Parent  9735033aeca49c55103e964d09f7adc4f8e72503
<prooftechnique> ` ln -s bin/slashlearn bin/disce

diff -r 9735033aeca4 -r 02013cf32f7f bin/disce
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/disce	Fri Apr 01 18:10:08 2016 +0000
@@ -0,0 +1,1 @@
+bin/slashlearn
\ No newline at end of file