Marius Cramer
2014-02-18 0a02ee3d2c7f18221dbfbe3a8e9440c0002df4a3
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0