diff options
| author | tv <tv@krebsco.de> | 2019-05-21 10:39:18 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-05-21 10:39:18 +0200 |
| commit | eb9c9b80cafbb69d858a9914eda1d5aa65745ae5 (patch) | |
| tree | f651b0d0c7f2d54229f44b1f22cd7a9e3300b544 /ci.nix | |
| parent | 87e1da05aa253a629e5e188fac4c1a572e9e61de (diff) | |
github-known-hosts: add new hosts
Diffstat (limited to 'ci.nix')
0 files changed, 0 insertions, 0 deletions