diff options
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -9,7 +9,8 @@ check: clean: rm -rf \ - src/secrets/*.txt + src/secrets/*.txt src/infrastructure/keys/SSH/*.stripped \ + public: |
![]() |
index : server | |
| Unnamed repository; edit this file 'description' to name the repository. | External SSH Git service user |
| aboutsummaryrefslogtreecommitdiff |