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 /tv/krops.nix | |
parent | c4be6cf076a9af9fc435992bcb2e42337fa7776e (diff) |
krebs: move github known hosts to dedicated file
Diffstat (limited to 'tv/krops.nix')
0 files changed, 0 insertions, 0 deletions