Marius Cramer
2015-04-30 57496f7c08945031b90b1e4bc5b2e0d5f4c2cec4
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0