blegat/usaco-tool — Issue #7: 0tool -> .tool ?
Author: blegat
Created: 2011-12-24 10:15:18+00:00
State: open

I was wondering, wouldn't it be more convenient for 0tool to be named .tool so that it is not visible by the user ?
Because the scripts in it are not made for the user directly but are called indirectly by new.sh and other scripts