Google
 

Trailing-Edge - PDP-10 Archives - k20v7b - mfg/diagnostic-define.mic
There are no other files named diagnostic-define.mic in the archive.
@DEF DSK: DSK:,<1-DIAGNOSTICS>,<2-DIAGNOSTICS>,<3-DIAGNOSTICS>