tree 92103a6bf51f04c6b22e6cdb25983aa92b251a94
parent 540258d13e1d427254cbeddacdd2bb1ab2c307d1
parent bccba9a34e8ba0fe671c4b94671fea2efe181b01
author Tom Tromey <tom@tromey.com> 1506910793 -0600
committer GitHub <noreply@github.com> 1506910793 -0600

Merge pull request #316 from angerman/patch-2

Add `configure.host` and `libtool-version` to the `EXTRA_DIST` files