GitHub PushEvent at 2014-06-12 14:13:39
Repository: tools-roby
Actor: goldhoorn
Payload: {"shas":[["319fa040224e2d1e21585a5187286cb3e3d8b403","65d2d496ace3af0618f2a3f116b3d48521162e82@dfki.de","coordination: add option to jump into state-machines\n\nby passing the argument :start_state the user can choose\nstates in which a statemachine should start.\n\nmerge","Matthias Goldhoorn",true],["80be6a0ceec1619e37083b04f966aa70dbf3aa6c","65d2d496ace3af0618f2a3f116b3d48521162e82@dfki.de","coordination: added sainity check if the user not defined the start_state\n\nAdditionally added some helper functions to check wether a option\nis already defined or not.","Matthias Goldhoorn",true]],"size":2,"ref":"refs/heads/master","head":"80be6a0ceec1619e37083b04f966aa70dbf3aa6c"}