Skip to main content

Browse the archive

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 
Fix for Section upgrade messages.
1 parent d83e8d3
Raw File
manage_tools.sh 
#!/bin/sh

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