diff options
author | nicoo <nicoo@debian.org> | 2020-02-12 14:26:07 +0100 |
---|---|---|
committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2020-02-12 14:26:07 +0100 |
commit | 09950d21dc051d97729d1f38c613dfb9e5fa3be0 (patch) | |
tree | b454d1dc4781f363f8947c46b4ceeb433f9d2454 /debian/fido2-tools.install | |
parent | 932fe05eaebbaf53fa66fd189bab3efb5653715f (diff) |
fixup! libfido2-dev: sync documentation manifest
Diffstat (limited to 'debian/fido2-tools.install')
-rw-r--r-- | debian/fido2-tools.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/fido2-tools.install b/debian/fido2-tools.install index e772481..ba8bc49 100644 --- a/debian/fido2-tools.install +++ b/debian/fido2-tools.install | |||
@@ -1 +1,2 @@ | |||
1 | usr/bin | 1 | usr/bin |
2 | usr/share/man/*.1.gz | ||