1
0
mirror of https://github.com/PDP-10/its.git synced 2026-01-27 04:32:08 +00:00

Change name of Muddle WHOM to WHOMUD.

It's in conflict with the WHOJ alias WHOM.
This commit is contained in:
Lars Brinkhoff
2018-11-19 10:19:02 +01:00
parent 80d83009a7
commit 5ae4efe416
2 changed files with 2 additions and 2 deletions

View File

@@ -100,7 +100,7 @@ EBUF: 440700,,TINBUF ;POINTER TO END OF TEMPORARY BUFFER
PRGJNM: SIXBIT /PURGE/
MKSJNM: SIXBIT /MAKSCR/
STTJNM: SIXBIT /STATUS/
WHOJNM: SIXBIT /WHOM/ ;JNAME CHECKS FOR INQUIRE
WHOJNM: SIXBIT /WHOMUD/ ;JNAME CHECKS FOR INQUIRE
XORJN1: SIXBIT /XORCST/
XORJN2: SIXBIT /X/