Till Brehm
2015-05-07 d94b1e279416bcbd1a517851e7e3d606d6289fc8
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0