* replace "operative" by "operating", as in "operating system" in the
commita9d7a00575c4d8912e683700a4e3a821f7754dec
authorEduardo Chappa <chappa@washington.edu>
Thu, 23 Mar 2017 22:14:10 +0000 (23 16:14 -0600)
committerEduardo Chappa <chappa@washington.edu>
Thu, 23 Mar 2017 22:14:10 +0000 (23 16:14 -0600)
treeef990718fd8110911133bf34c04d1fc96fd6e2c8
parentdd0734083871857f78bacc5caae15756ff2f6267
   * replace "operative" by "operating", as in "operating system" in the
     help text. Submitted by Dennis Davis.
pith/pine.hlp