kjuulh 32eef8f3c6 with actual repos		2022-09-21 21:50:08 +02:00
..
push_github.sh	rename	2022-09-21 11:06:53 +02:00
run_client.sh	with actual repos	2022-09-21 21:50:08 +02:00
run_server.sh	v0.1 (#8)	2022-09-18 16:49:34 +02:00
run.sh	v0.1 (#8)	2022-09-18 16:49:34 +02:00