CSoellinger
2016-04-27 6e0b35c4664e9a4044e4a48c5b888f86e653a22e
1
2
3
4
5
6
#!/bin/bash
 
CUR=`dirname $0`
bash ${CUR}/update_from_dev.sh
 
exit 0