{"shas":[["8a8f90914d66ad1fbb335c0c4a8e7e0ff73071be","daf326f62486e12817f19edd712aa12644b39612@gmail.com","Updated parser to support SUMO files","Jonas Finnemann Jensen"],["bb42e70e76ffa538a2e97beccb54d57f7acc094e","aaebd4714f6a16239228d903a688e12bd47de84c@gmail.com","Playing around with memory management in DepthFirstReachabilitySearch","Thomas Nielsen"],["33192ce35ebb2e8947a48219058e16b118c34790","3a8f3441e2cc78c3043e60cd381f6936c5e0b0d0@hotmail.com","Variables can now be deleted from UI","Lars Kærlund Østergaard"]],"repo":"jopsen/PeTe","actor":"larsko","ref":"refs/heads/master","size":3,"head":"33192ce35ebb2e8947a48219058e16b118c34790","actor_gravatar":"5fc295235ec7a5903d6b580dc77632a1","push_id":27757970}