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