jascha Bohne 15822a03ff more more more more fixes 7 years ago
..
EdgeCreatedListener.java 17d83540a0 changed Packackage structure 7 years ago
GraphHelper.java 15822a03ff more more more more fixes 7 years ago
GraphManager.java 2f40462018 more more more fixes 7 years ago
MappingGraphManager.java 576e0acd93 small fix for automaic Metric update on Mapping change 7 years ago
MyEdge.java 1794dece28 Formatting is your friend 7 years ago
MyGraph.java 160aabcb41 Edge propagation and Option saving 7 years ago
MyNode.java 62aeb6b8a9 super easy CSS 7 years ago
NodeCreatedListener.java 17d83540a0 changed Packackage structure 7 years ago