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