GitHub PushEvent at 2014-10-23 13:55:43
Repository: LIMBO
Actor: joakimkistowski
Payload: {"shas":[["d01401158ad26a41e652652eadbac549719d9d76","be56a0902f96c7e5e0b87aa8bf209c72ce3e48bb@uni-wuerzburg.de","fixed examples to work with newer versions of the meta-model","joakimkistowski",true]],"size":1,"ref":"refs/heads/master","head":"d01401158ad26a41e652652eadbac549719d9d76"}