{"head":"78c620a3e9fc624327e128c1ae9f33a995ff4359","size":1,"push_id":44764268,"shas":[["78c620a3e9fc624327e128c1ae9f33a995ff4359","5886a5de6d60d19d381789992a98557fba6cdc22@fit.vutbr.cz","cleanup of explicit_tree_aut_op.hh","Jiri Simacek"]],"ref":"refs/heads/master"}