diff options
| author | tv <tv@krebsco.de> | 2022-09-20 11:21:04 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2022-09-29 20:36:16 +0200 |
| commit | 16cce4be93b242a9a9098f75ebe076dc37d6c705 (patch) | |
| tree | 571fca938d4e66a4aeeb740f05ae6c2d210b7326 /lib/shell.nix | |
| parent | 0c589031c02d6114d05131b249a559e06c802c1f (diff) | |
github: move known-hosts into separate file
Diffstat (limited to 'lib/shell.nix')
0 files changed, 0 insertions, 0 deletions