debian/copyright: add information about third-party file.
[debian/jabref.git] / debian / jabref.manpages
1 debian/jabref.1