Patrick Anders
2014-12-11 a774472532e0c48cf1675d063532b62da21e8b49
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0