Merge branch 'master' of ssh://tiger.med-info.com:8822/srv/git/snark14kmr
[snark14.git] / examples / b9 / run
1 ./build >&2
2 ./bin/snark14 -e  b.9.experimenter.in