debian/copyright: add info about another third-party file.
authorgregor herrmann <gregoa@debian.org>
Wed, 12 Mar 2014 17:40:22 +0000 (18:40 +0100)
committergregor herrmann <gregoa@debian.org>
Wed, 12 Mar 2014 17:40:22 +0000 (18:40 +0100)
commit043f4c3f8a4622c6bcd5ec2abafac4c78bf32e6a
tree1f47826c43a8f2df9be794cd9eb9dae60f26762b
parent893474667f318a3dc24fa98b7bf9495766224719
debian/copyright: add info about another third-party file.
debian/copyright