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