Florian Schaal
2016-01-16 bad4bd31db037d017692ec3b573dea60143f0dbd
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0