3 Commits

Author	SHA1	Message	Date
Dominik Demuth	edf858da29	hacky solution to have correct tuda colors in agr file; closes #63	2023-05-11 20:12:32 +02:00
Dominik Demuth	2c09573d2a	Display graph/set number in tree; fixes T243	2023-01-07 14:30:10 +01:00
dominik	8d148b639b	BUGFIX: VFT; ... change to src layout	2022-10-20 17:23:15 +02:00