diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2017-07-29 13:38:04 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2017-07-29 13:38:04 +0200 |
| commit | 4f55cb8d1f8f1ba7fe52e1d0035d13638ff25a00 (patch) | |
| tree | 6cc2debd228e2df27f77fd3e97852d560b228785 /debian/source | |
| parent | b3b34342a2276619d321392e0f06114e13a6d46d (diff) | |
Fix manpage generation with pandoc >=1.18.
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions