]> granicus.if.org Git - pdns/commitdiff
Merge pull request #1655 from zeha/remove-unused-options
authorPeter van Dijk <peter@7bits.nl>
Tue, 12 Aug 2014 11:24:39 +0000 (13:24 +0200)
committerPeter van Dijk <peter@7bits.nl>
Tue, 12 Aug 2014 11:24:39 +0000 (13:24 +0200)
Remove unused options


Trivial merge