Revision 6c9a82e142c5bf70ae4612f094b8d0c89e3fd2f3 authored by Daniel Blankenberg on 03 December 2015, 17:27:01 UTC, committed by Daniel Blankenberg on 03 December 2015, 17:27:01 UTC
1 parent d83e8d3
manage_tools.sh
#!/bin/sh
cd `dirname $0`
python ./scripts/manage_tools.py $@
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...