dominik.renkel f4cd5c8e8c changed preferences shortcut 7 years ago
..
debug 160aabcb41 Edge propagation and Option saving 7 years ago
graphs 7333a227f1 Merged Jascha and Jan, Operator Multigraph now (afaik) bug free! 7 years ago
io 160aabcb41 Edge propagation and Option saving 7 years ago
main f4cd5c8e8c changed preferences shortcut 7 years ago
metrics 6758ae4289 now opens the last Graph at startup 7 years ago
ui f4cd5c8e8c changed preferences shortcut 7 years ago