GitHub PushEvent at 2014-01-23 15:21:01
Repository: orcc
Actor: alorence
Payload: {"shas":[["968338eea4cca69b7e5c8b668c051a946f1262d5","504d11441fa9b572eaa5127636d735aa969b1ef6@insa-rennes.fr","Do not open many tabs with the same diagram/network\n\nAlso change the default diagram extension: *.diag instead of *.diagram","Antoine Lorence",true],["6cd9db707434950e99bc8bffb49277356f84a210","504d11441fa9b572eaa5127636d735aa969b1ef6@insa-rennes.fr","Graphical updates\n\nAlso fix a bug when using Orthogonal layout","Antoine Lorence",true],["f8304863c4c8cd64bf5a05c253e21168d75d461f","504d11441fa9b572eaa5127636d735aa969b1ef6@insa-rennes.fr","Fix a bug in selection when the diagram has just been created","Antoine Lorence",true]],"size":3,"ref":"refs/heads/new_graphiti_editor","head":"f8304863c4c8cd64bf5a05c253e21168d75d461f"}