StartHRM.config
Last edit by Pier on August 18, 1983 10:06 am
StartHRM: CONFIGURATION IMPORTS ColorDisplayHeadDorado, WindowManager
CONTROL MonitorToolOps, StartHRMImpl = {
MonitorToolOps;
StartHRMImpl;
}.