]> git.ipfire.org Git - thirdparty/rrdtool-1.x.git/commitdiff
Merge pull request #855 from c72578/2017-12-29_add_files_to_extra_dist
authorTobias Oetiker <tobi@oetiker.ch>
Fri, 29 Dec 2017 20:48:55 +0000 (21:48 +0100)
committerGitHub <noreply@github.com>
Fri, 29 Dec 2017 20:48:55 +0000 (21:48 +0100)
Add missing files to src/Makefile.am EXTRA_DIST


Trivial merge