{"shas":[["9ce00ccd837ef3d922b9bd3ec483f60508b2b142","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Integrate state machines into pretty printing","Henning Günther"]],"repo":"hguenther/gtl","actor":"hguenther","ref":"refs/heads/pretty-printing","size":1,"head":"9ce00ccd837ef3d922b9bd3ec483f60508b2b142","actor_gravatar":"8307c10ba82e5fcdbafd446fc259c84f","push_id":28555983}