Marius Burkard
2016-07-01 49441bdd0f3ff75d5092d5b832b97ea722a66363
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0