{"shas":[["947b7ca8a96c7b588e6263120ee622525003c548","8bea86d5c02f2a9b52e2e495ce86c543be40314e@ubuntu.(none)","makefile arbeitet jetzt mit toolkit, es werden ab jetzt makefile.locals von jedem benötigt","Elisa"],["6248b1f7c86cfd8543050b2504f70843abe70416","8bea86d5c02f2a9b52e2e495ce86c543be40314e@ubuntu.(none)","Merge branch 'srilm' of github.com:niklasfi/mu into srilm","Elisa"]],"ref":"refs/heads/srilm","size":2,"head":"6248b1f7c86cfd8543050b2504f70843abe70416","push_id":36353420}