GitHub PushEvent at 2014-05-06 14:09:22
Repository: Idris-dev
Actor: david-christiansen
Payload: {"shas":[["89a975e05eb44374833bf031ab10160f5797fbc8","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","Improve ideslave highlighting of primitives","David Raymond Christiansen",true],["29cd87056f1101fc44ad4dcee7d1e828c87a1ca1","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","Merge pull request #1203 from david-christiansen/ideslave-printing\n\nImprove ideslave highlighting of primitives","David Christiansen",true]],"size":2,"ref":"refs/heads/master","head":"29cd87056f1101fc44ad4dcee7d1e828c87a1ca1"}