mirror of
https://github.com/PDP-10/its.git
synced 2026-03-28 02:43:16 +00:00
This incorporates the patches from 162 into files 434 and isearch 75. Ignoring the patch to & Read Command Name since the version in the patch file is older than the one in crl 208. Resolves #1520.