graph-mouse-1.1.js: GraphEditor - fix bug with new edge when 3 vertices aligned
graph-mouse-1.1.js: GraphEditor - fix bug with new edge when 3 vertices aligned
France-ioi/bebras-modules,France-ioi/bebras-modules