Merge pull request #319 from angerman/patch-5
authorTom Tromey <tom@tromey.com>
Mon, 2 Oct 2017 02:25:50 +0000 (20:25 -0600)
committerGitHub <noreply@github.com>
Mon, 2 Oct 2017 02:25:50 +0000 (20:25 -0600)
commit9f1f8741b2ec0c8898ecff7b93005627b915dd02
treec5df4e69a5588163a22e0ada86a471d77d5c72fe
parentdca078f468ff696134195e85fed3f48260115651
parent6cf0dea78a5a4584eda871e264043974d0453e53
Merge pull request #319 from angerman/patch-5

Adds `local.exp` to DISTCLEANFILES
Makefile.am