]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #7086 from jsoref/rm-pandoc
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Fri, 26 Oct 2018 07:58:05 +0000 (09:58 +0200)
committerGitHub <noreply@github.com>
Fri, 26 Oct 2018 07:58:05 +0000 (09:58 +0200)
Removing pandoc remnants


Trivial merge