GitHub PushEvent at 2014-04-27 13:14:12
Repository: regularConvertor
Actor: navrkald
Payload: {"shas":[["cea354f61ed805997095fd56e3ce5aa8c70f2956","7892bc41e0feb1c79055a41ef62353dfc0d9ebf3@centrum.cz","Adding tooltips.","navrkald",true],["9ea89efd9c3557fe9272f2351522ae3b42e0577a","7892bc41e0feb1c79055a41ef62353dfc0d9ebf3@centrum.cz","Merge branch 'tooltips'\n\nConflicts:\n\tRegularConvertor/finite_machine/arrow.cpp","navrkald",true],["7bbc825ccc68d0de37a9c7c16f76be285766f3f5","7892bc41e0feb1c79055a41ef62353dfc0d9ebf3@centrum.cz","Bug repair.\n\n * Dirty error when draw self node arrow.\n * Repair than app was faling when switching examples between conversions.","navrkald",true]],"size":3,"ref":"refs/heads/master","head":"7bbc825ccc68d0de37a9c7c16f76be285766f3f5"}