annotate bin/disce @ 8702:e91970e62be1

<oerjan> fetch http://oerjan.nvg.org/shebang_args_or_input
author HackBot
date Tue, 05 Jul 2016 02:21:15 +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