debian/copyright: add information about third-party file.
authorgregor herrmann <gregoa@debian.org>
Fri, 21 Jun 2013 16:37:50 +0000 (18:37 +0200)
committergregor herrmann <gregoa@debian.org>
Fri, 21 Jun 2013 16:37:50 +0000 (18:37 +0200)
commit5b256550ae7bfd595463c5db642a6c34dd64c1cc
treeb0e7d83c4759be0d7139122cb8f9680e9db7aaa9
parenta19477c04b4c2dcdf039a48f352f86822a49db5e
debian/copyright: add information about third-party file.
debian/copyright