Dominik Demuth 26fea8f69f remove temporary elements from graphs before deletion		2023-06-04 15:57:17 +02:00
..
__init__.py	BUGFIX: VFT;	2022-10-20 17:23:15 +02:00
mainwindow.py	remove temporary elements from graphs before deletion	2023-06-04 15:57:17 +02:00
management.py	sub function show numbering; closes #70	2023-05-19 18:13:57 +02:00