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