Till Brehm
2014-03-13 39e5f011555e9ef1c60c3e417c1de33561b4762a
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0