{"head":"e93f252e392e12f969ee935069ebb530c07834f9","size":1,"push_id":44258229,"shas":[["e93f252e392e12f969ee935069ebb530c07834f9","ace4ad1a1686660c792eb38c21f7489e0cefb0b3@web.de","cnfigure.in's and conversion for Singular and flint","Martin Lee"]],"ref":"refs/heads/flint"}