docs: add missing full-html flag
[debian/dhcpd-pools.git] / AUTHORS
1 See THANKS file.