Marius Cramer
2015-06-22 5b3c29178704c047d4020df2ae445ff01c6e1f3a
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0