diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2023-05-16 18:51:52 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2023-05-16 18:51:52 +0200 |
commit | ff97eb8097083a7fa121e39329c30bc40b3e34b8 (patch) | |
tree | dc1c528da5eccd4d5902a72db683ae756413cf73 /tools/.gitignore | |
parent | 8459e0f4eedbc475004573b80587d989a23aafc9 (diff) |
Fix remove wrong remove manpage
Diffstat (limited to 'tools/.gitignore')
0 files changed, 0 insertions, 0 deletions