]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
projects / thirdparty / pdns.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: becd68f e3881b4)
Merge pull request #1675 from cmouse/fail-if-ragel-needed
authorPeter van Dijk <peter@7bits.nl>
Fri, 22 Aug 2014 08:11:03 +0000 (10:11 +0200)
committerPeter van Dijk <peter@7bits.nl>
Fri, 22 Aug 2014 08:11:03 +0000 (10:11 +0200)
Check if ragel is missing but needed and fail


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