|
client
|
Add PING_BEFORE_SSH (enabled by default)
|
2023-01-09 11:45:39 +01:00 |
|
server
|
server: release 22.11
|
2022-11-28 15:06:53 +01:00 |
|
.gitignore
|
add gobal .gitignore
|
2022-11-28 15:27:26 +01:00 |
|
.Jenkinsfile
|
CI: Push *.buildinfo too
|
2022-12-22 11:39:42 +01:00 |
