github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-02-18 05:34:15 +00:00
Code Issues Releases Wiki Activity
Files
03d21e10aaa12273f13bc655d910dc42e2b577a7
PDP-10.its/build/pdp10-kl/boot
Eric Swenson daf4b8bad1 Updated the init, boot, boot2, and run scripts to use "set dc disable" 
rather than "set dc dis", since the latter is ambiguous. Resolves #1698.
2019-08-15 12:41:42 -07:00

281 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink