diff options
| author | tv <tv@krebsco.de> | 2019-05-17 13:48:48 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-05-17 13:48:48 +0200 |
| commit | e91f56a4092b47aea6dd62e015176c0a45b6e0e6 (patch) | |
| tree | c19a2455e6c72522a30528543384d02f7c6d5714 /ci.nix | |
| parent | c7cfc7d6a3988615fd40369d0e02bd570a52bc7f (diff) | |
krebs: add dummy github-hosts-sync.ssh.id_ed25519
Diffstat (limited to 'ci.nix')
0 files changed, 0 insertions, 0 deletions