diff options
| author | tv <tv@krebsco.de> | 2019-01-21 10:09:16 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-01-21 10:09:46 +0100 |
| commit | 9f2a6465666ee7a69d9261beee0e5ab3cd133933 (patch) | |
| tree | 944bb2f7ad3a16e86ecec06718a402a5a54da79e /krebs/3modules/ci.nix | |
| parent | c4be6cf076a9af9fc435992bcb2e42337fa7776e (diff) | |
krebs: move github known hosts to dedicated file
Diffstat (limited to 'krebs/3modules/ci.nix')
0 files changed, 0 insertions, 0 deletions