{"shas":[["687a4fc19d0dd5595ea088cdd6038ea9357bf378","3ce69a21d0075b3475f8bc269c80cb08a16351d2@in.tum.de","Merge branch 'master' of git://github.com/girschic/ProjDev","girschic"],["4a9254071252b618b5dd35385de504e3b9772063","3ce69a21d0075b3475f8bc269c80cb08a16351d2@in.tum.de","new cinfony results plus new cinfony input data","girschic"]],"ref":"refs/heads/master","size":2,"head":"4a9254071252b618b5dd35385de504e3b9772063","push_id":37516697}