commit | 9f1f8741b2ec0c8898ecff7b93005627b915dd02 | [log] [tgz] |
---|---|---|
author | Tom Tromey <tom@tromey.com> | Sun Oct 01 20:25:50 2017 -0600 |
committer | GitHub <noreply@github.com> | Sun Oct 01 20:25:50 2017 -0600 |
tree | c5df4e69a5588163a22e0ada86a471d77d5c72fe | |
parent | dca078f468ff696134195e85fed3f48260115651 [diff] | |
parent | 6cf0dea78a5a4584eda871e264043974d0453e53 [diff] |
Merge pull request #319 from angerman/patch-5 Adds `local.exp` to DISTCLEANFILES