diff options
author | tv <tv@krebsco.de> | 2018-02-19 13:42:00 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-02-19 13:42:00 +0100 |
commit | 8654c0511b43a3773a34685a00d5768c6e08acc2 (patch) | |
tree | 0c13c87b72c4715da3481d21990366bbc4fdf37a /lib/shell.nix | |
parent | 69247ffe949fa6918a4e5667c211c2f3643cb086 (diff) |
github: update known hosts
Diffstat (limited to 'lib/shell.nix')
0 files changed, 0 insertions, 0 deletions