Marius Cramer
2014-03-06 35b30fa77ef939f85b6d31446e8710e8f03486b6
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0