diff options
author | nicoo <nicoo@debian.org> | 2020-02-12 15:02:50 +0100 |
---|---|---|
committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2020-02-12 15:13:47 +0100 |
commit | d878d7dbc68418cb198968d158c595aeb4db6a8c (patch) | |
tree | d82e584ef57e93c0a187834afa39544c2d7b6445 /src/dev.c | |
parent | df5c51e23ca0b4a0cad67ec461749c7ee8815a66 (diff) |
Split documentation into libfido2-doc
It's unecessary to ship manpages and HTML in header files that
will mostly be used as a Build-Depends
Diffstat (limited to 'src/dev.c')
0 files changed, 0 insertions, 0 deletions