Commit 9f1f8741b2ec0c8898ecff7b93005627b915dd02

Tom Tromey 2017-10-01T20:25:50

Merge pull request #319 from angerman/patch-5 Adds `local.exp` to DISTCLEANFILES