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 /makefu/5pkgs/devpi | |
| parent | 69247ffe949fa6918a4e5667c211c2f3643cb086 (diff) | |
github: update known hosts
Diffstat (limited to 'makefu/5pkgs/devpi')
0 files changed, 0 insertions, 0 deletions