|
services
|
Use gitlab instead of gitea
|
2023-01-23 15:37:00 +01:00 |
|
users
|
Reorganize repository
|
2021-07-10 09:03:38 +02:00 |
|
networks.age
|
Update network settings
|
2022-08-16 13:28:37 +02:00 |
|
ugent-mount-credentials.age
|
Reorganize repository
|
2021-07-10 09:03:38 +02:00 |
|
ugent-vpn.age
|
Reorganize repository
|
2021-07-10 09:03:38 +02:00 |
