Jan Enders 13f3cb497d Made "Reset Mapping" disappear in other layers 7 years ago
..
debug 160aabcb41 Edge propagation and Option saving 7 years ago
graphs c2e020c073 Merge remote-tracking branch 'origin/Jascha' 7 years ago
io 9815f14ec8 fixed bugs 7 years ago
main 160aabcb41 Edge propagation and Option saving 7 years ago
metrics 6758ae4289 now opens the last Graph at startup 7 years ago
ui 13f3cb497d Made "Reset Mapping" disappear in other layers 7 years ago