]> granicus.if.org Git - json-c/commitdiff
Merge pull request #622 from besser82/topic/besser82/doc_subdir
authorEric Hawicz <erh+git@nimenees.com>
Mon, 18 May 2020 19:30:21 +0000 (15:30 -0400)
committerGitHub <noreply@github.com>
Mon, 18 May 2020 19:30:21 +0000 (15:30 -0400)
doc: Move Doxyfile into doc subdir.


Trivial merge