* Corrections to pico manual contributed by Dennis Davis.
commit702c64290612155aec75cac92dbfe8caab0ba196
authorEduardo Chappa <chappa@washington.edu>
Thu, 8 Dec 2016 07:45:20 +0000 (8 00:45 -0700)
committerEduardo Chappa <chappa@washington.edu>
Thu, 8 Dec 2016 07:45:20 +0000 (8 00:45 -0700)
tree00bd1c87d91f5f58cebed2b63833cf627e595401
parenta6d2585047ced0f5c3ae200f0df189fb45ef8763
   * Corrections to pico manual contributed by Dennis Davis.
doc/man1/pico.1
pith/pine.hlp