kjuulh 89da9997ba add github provider (WIP)		2022-10-06 22:03:10 +02:00
..
push_github.sh	add github provider (WIP)	2022-10-06 22:03:10 +02:00
run_client.sh	v0.2 (#14)	2022-09-21 22:55:52 +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