* Fixes to pine.hlp, submitted by Dennis Davis.
commit58e78a3c43f352b3ac1e2e133c0b41930e38cedb
authorEduardo Chappa <chappa@washington.edu>
Sat, 8 Feb 2020 21:00:22 +0000 (8 14:00 -0700)
committerEduardo Chappa <chappa@washington.edu>
Sat, 8 Feb 2020 21:00:22 +0000 (8 14:00 -0700)
tree5684958fc7be03864ce5b455b9e35ab3817c316e
parent97424c992ddf15e404d37160590f4082a8a82c1f
   * Fixes to pine.hlp, submitted by Dennis Davis.
pith/pine.hlp