Florian Schaal
2015-05-30 f2c7c219f65185a0a25ba45eef06c3aa6bb64072
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0