commit | dca078f468ff696134195e85fed3f48260115651 | [log] [tgz] |
---|---|---|
author | Tom Tromey <tom@tromey.com> | Sun Oct 01 20:19:53 2017 -0600 |
committer | GitHub <noreply@github.com> | Sun Oct 01 20:19:53 2017 -0600 |
tree | 92103a6bf51f04c6b22e6cdb25983aa92b251a94 | |
parent | 540258d13e1d427254cbeddacdd2bb1ab2c307d1 [diff] | |
parent | bccba9a34e8ba0fe671c4b94671fea2efe181b01 [diff] |
Merge pull request #316 from angerman/patch-2 Add `configure.host` and `libtool-version` to the `EXTRA_DIST` files