{"shas":[["b155ca6d257d464bf3c5a62984ddca9d7cfc5daa","d044407501810fcee4b1a9949090457798394d87@s-e-f-i.de","Added pretty function for VC++.","Philipp Reh"]],"ref":"refs/heads/master","size":1,"head":"b155ca6d257d464bf3c5a62984ddca9d7cfc5daa","push_id":37433174}