v36:src/kickstart/bootmenu/RCS/

