Revision 034d89018b49e8a3c7490c7977e31bf0b6e71fcc authored by John Chilton on 08 December 2014, 16:11:26 UTC, committed by John Chilton on 08 December 2014, 16:11:26 UTC
1 parent fdc227b
manage_tools.sh
#!/bin/sh
cd `dirname $0`
python ./scripts/manage_tools.py $@
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...