mirror of
https://github.com/PDP-10/its.git
synced 2026-01-13 15:27:28 +00:00
This reverts commits a1bdade911321f0d945729391248e5dcfa24bc52 and 87f2a21cb5fed19716d8557ea06caf6a756d984f.
This reverts commits a1bdade911321f0d945729391248e5dcfa24bc52 and 87f2a21cb5fed19716d8557ea06caf6a756d984f.