]> granicus.if.org Git - pdns/commitdiff
Merge pull request #5143 from baloo/baloo/doc/backend-ent
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Fri, 17 Mar 2017 13:58:08 +0000 (14:58 +0100)
committerGitHub <noreply@github.com>
Fri, 17 Mar 2017 13:58:08 +0000 (14:58 +0100)
doc: Document empty non-terminal in backends


Trivial merge