diff options
| author | nicoo <nicoo@debian.org> | 2020-02-12 14:46:25 +0100 |
|---|---|---|
| committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2020-02-12 14:46:25 +0100 |
| commit | f5172230d2b66ac0efc5aeb6e6967ddd8e737b49 (patch) | |
| tree | 011ec31e17b33faf495cd6e1d2bd7834ac2f2844 /debian/libfido2-dev.install | |
| parent | 84e4bd51cc45956df12f7fac065fbbf9bd01924f (diff) | |
Exclude unversionned libsk-libfido2.so
TODO: Investigate what this is
Diffstat (limited to 'debian/libfido2-dev.install')
| -rw-r--r-- | debian/libfido2-dev.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/libfido2-dev.install b/debian/libfido2-dev.install index caf0cc2..0c475b1 100644 --- a/debian/libfido2-dev.install +++ b/debian/libfido2-dev.install | |||
| @@ -1,5 +1,5 @@ | |||
| 1 | usr/include | 1 | usr/include |
| 2 | usr/lib/*/*.so | 2 | usr/lib/*/libfido2*.so |
| 3 | usr/lib/*/pkgconfig/*.pc | 3 | usr/lib/*/pkgconfig/*.pc |
| 4 | usr/share/man/man3/* | 4 | usr/share/man/man3/* |
| 5 | 5 | ||