* Update of configure script due to change in libtool version.
commit1743b28e3ccfa14713c104c68699e44b38415489
authorEduardo Chappa <chappa@washington.edu>
Sat, 23 Sep 2017 07:35:46 +0000 (23 01:35 -0600)
committerEduardo Chappa <chappa@washington.edu>
Sat, 23 Sep 2017 07:35:46 +0000 (23 01:35 -0600)
tree3afbc56b9b427a6bbd7f076f024294f50a228848
parent4399d536cf37ec3e98a872980020647f2bcb6500
   * Update of configure script due to change in libtool version.
configure
pith/pine.hlp