|
push_github.sh
|
Add github push (#4)
|
2022-09-12 22:48:00 +02:00 |
|
run_client.sh
|
feature/gitea-integration (#10)
|
2022-09-18 00:10:44 +02:00 |
|
run_server.sh
|
with actual head branch name
|
2022-09-18 01:46:58 +02:00 |
|
run.sh
|
feature/gitea-integration (#10)
|
2022-09-18 00:10:44 +02:00 |
