Helmut Merz 96afb631e0 rename server to web		2025-04-20 16:42:13 +02:00
..
log	basic logging set-up	2025-04-16 10:54:25 +02:00
config.py	rename server to web	2025-04-20 16:42:13 +02:00
demo_server.py	rename server to web	2025-04-20 16:42:13 +02:00
shell.py	rename server to web	2025-04-20 16:42:13 +02:00