tree c5df4e69a5588163a22e0ada86a471d77d5c72fe
parent dca078f468ff696134195e85fed3f48260115651
parent 6cf0dea78a5a4584eda871e264043974d0453e53
author Tom Tromey <tom@tromey.com> 1506911150 -0600
committer GitHub <noreply@github.com> 1506911150 -0600

Merge pull request #319 from angerman/patch-5

Adds `local.exp` to DISTCLEANFILES