{"head":"20b3a1fa922a7deed698a7591c245fc1638f8839","size":2,"push_id":45020311,"shas":[["91398f2ce11e1d8622db4447534b48d35cc75234","4e95c4512fed58b59d28ee70e17ec8adcf7a8c35@tux4u.de","thesis: WIP: formal chapter update","Johannes Weiß"],["20b3a1fa922a7deed698a7591c245fc1638f8839","4e95c4512fed58b59d28ee70e17ec8adcf7a8c35@tux4u.de","thesis: added build directory","Johannes Weiß"]],"ref":"refs/heads/master"}