|
push_github.sh
|
Add github push (#4)
|
2022-09-12 22:48:00 +02:00 |
|
run_client.sh
|
with query results
|
2022-09-18 16:41:26 +02:00 |
|
run_server.sh
|
feature/docker-action (#11)
|
2022-09-18 11:51:22 +02:00 |
|
run.sh
|
feature/gitea-integration (#10)
|
2022-09-18 00:10:44 +02:00 |
