non ne ho la più pallida idea
Corretto errore minore, non compila ancora
Fissato errore nel server, compila con artoolkit
Merge branch 'master' of ssh://plasma.iig.uni-freiburg.de:5555/home/git/myrepo
esecuzione francesco ok