Helmut Merz e47d90cde9 put all mode changes in buttons		2023-04-04 09:03:18 +02:00
..
js	put all mode changes in buttons	2023-04-04 09:03:18 +02:00
jsconfig.json	initial import	2023-02-16 09:40:53 +01:00