]> granicus.if.org Git - json-c/commitdiff
Merge pull request #345 from MrAnno/fix-make-dist
authorEric Haszlakiewicz <erh+git@nimenees.com>
Tue, 22 Aug 2017 01:50:20 +0000 (20:50 -0500)
committerGitHub <noreply@github.com>
Tue, 22 Aug 2017 01:50:20 +0000 (20:50 -0500)
Fix make dist and make distcheck


Trivial merge