]> granicus.if.org Git - pdns/commitdiff
projects / pdns / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c426b57 f72e3c3)
Merge pull request #1757 from rubenk/no-dvi
authorPeter van Dijk <peter.van.dijk@netherlabs.nl>
Mon, 6 Oct 2014 11:24:38 +0000 (13:24 +0200)
committerPeter van Dijk <peter.van.dijk@netherlabs.nl>
Mon, 6 Oct 2014 11:24:38 +0000 (13:24 +0200)
Don't build dvi


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.