File psl-1983/20-kernel/fresh-kernel.ctl artifact c603c0893f part of check-in 955d0a90a7
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")