GitHub PushEvent at 2014-01-28 10:12:27
Repository: Sources
Actor: jakobkroeker
Payload: {"shas":[["6965f1dfe23301040489c1eca83f4dad1f38a35a","7e918aff73354e7ca4b3a1b56df27625c35b20b5@math.uni-hannover.de","add optionIsSet proposal\nadded check if an option is valid to optionIsSet","Jakob Kröker",true]],"size":1,"ref":"refs/heads/checkOption","head":"6965f1dfe23301040489c1eca83f4dad1f38a35a"}