File psl-1983/3-1/kernel/20/fresh-kernel.ctl artifact c603c0893f part of check-in f16ac07139
rename 20.SYM PREVIOUS-20.SYM copy PC:BARE-PSL.SYM 20.SYM ; To regenerate the .CTL files: ; PSL:PSL ; (dskin "20-kernel-gen.sl")
rename 20.SYM PREVIOUS-20.SYM copy PC:BARE-PSL.SYM 20.SYM ; To regenerate the .CTL files: ; PSL:PSL ; (dskin "20-kernel-gen.sl")