... authored by Rolf Niepraschk's avatar Rolf Niepraschk
......@@ -130,15 +130,11 @@ cd devhub
git pull
./make_jar
cd ..
cd devproxy
cd ../devproxy
git pull
./make_jar
cd ..
cd metis
cd ../metis
git pull
./make_jar
```
......
......