annotate bin/disce @ 8606:eaa9e0a54036

<gamemanj> ` rm .tmp-clipper-instruction-trace
author HackBot
date Sat, 25 Jun 2016 16:58:26 +0000
parents d591eff20d6c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7347
d591eff20d6c <prooftechnique> ` ln -sfv /hackenv/bin/learn /hackenv/bin/disce
HackBot
parents: 7346
diff changeset
1 /hackenv/bin/learn