Skip to main content

Browse the archive

Revision 7c443eda567ece12fb90330e131e7f97c7b63ba2 authored by Nate Coraor on 15 December 2016, 17:38:28 UTC, committed by Nate Coraor on 15 December 2016, 17:38:28 UTC 
Merge branch 'release_15.03' into release_15.05
2 parent s c8e9845 + da7afb4
Raw File
manage_tools.sh 
#!/bin/sh

cd `dirname $0`
python ./scripts/manage_tools.py $@
back to top