Till Brehm
2016-04-20 2a37f920298ba612f50e9f2b52a99a7f9f50b54f
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0