* Improvements to the configure stage of compilation. Some of
commit26a47a9a2c571ad9bb7076a41bc66f9dada65069
authorEduardo Chappa <chappa@washington.edu>
Sun, 19 Nov 2017 18:44:46 +0000 (19 11:44 -0700)
committerEduardo Chappa <chappa@washington.edu>
Sun, 19 Nov 2017 18:44:46 +0000 (19 11:44 -0700)
treea2e6c5ea26d70b840143102c9b1b817baeda5402
parentc83adefd0bb6c1099b896dab361a1b2b8c504766
   * Improvements to the configure stage of compilation. Some of
     these contributed by Helmut Grohne. See Bug 876164 in Debian at
     https://bugs.debian.org/876164.
configure
configure.ac
pith/pine.hlp