]> granicus.if.org Git - pdns/commit
Merge pull request #7838 from pieterlexis/circleci-docs
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Wed, 12 Jun 2019 10:05:59 +0000 (12:05 +0200)
committerGitHub <noreply@github.com>
Wed, 12 Jun 2019 10:05:59 +0000 (12:05 +0200)
commit52da9d916a987d8ef18b17bd5923224815276451
tree30eee95a3abc47d2032d74eb7a1c5ffff31dd3d2
parentc3e66233c6748494c67bf0bd87f8d1c322a69a01
parentf11351402b3eea95952b0f093eb013f9d48175f7
Merge pull request #7838 from pieterlexis/circleci-docs

build docs in circleci