debian: copyright: add details for src/getopt*
[debian/dhcpd-pools.git] / AUTHORS
1 See THANKS file.