diff options
| author | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2018-06-12 22:01:58 +0200 |
|---|---|---|
| committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2018-06-12 22:01:58 +0200 |
| commit | dc249ab3f4af3c3f840386ae7e774c919e5a3fc8 (patch) | |
| tree | 17e81c46081875229dd9ea7fb54418e5e763d560 /gpg/remove-keys.sh | |
| parent | 6236f20810802e5e157fe6f26eff3df0e0143149 (diff) | |
Rename hosts to hosts.ini
Diffstat (limited to 'gpg/remove-keys.sh')
0 files changed, 0 insertions, 0 deletions