GitHub PushEvent at 2014-03-04 13:13:37
Repository: heinz
Actor: guwek
Payload: {"shas":[["3d86bd94d48da6a8160868c66a22fa4739932160","a60ad6f540bb4982423982e3783d9f5ce05f48d6@cwi.nl","added one more CPLEX search path (such that it owrks on my machine)","Gunnar W. Klau",true],["0c6ce74fe61cf363e178f5dbd039f26de062ea38","a60ad6f540bb4982423982e3783d9f5ce05f48d6@cwi.nl","Merge branch 'master' of https://github.com/ls-cwi/heinz","Gunnar W. Klau",true]],"size":2,"ref":"refs/heads/master","head":"0c6ce74fe61cf363e178f5dbd039f26de062ea38"}