Jörg Prante e3adbd4369 make server HTTP request serializable in json		2023-08-21 17:18:11 +02:00
..
main	make server HTTP request serializable in json	2023-08-21 17:18:11 +02:00
test	make server HTTP request serializable in json	2023-08-21 17:18:11 +02:00