path: root/local/lib/strip.local

# STRIP.LOCAL -- Rmfiles command script, used to strip the LOCAL directories
# of all files not required for ordinary runtime use of the system.

src		-allbut .hlp .hd .men .cl .par .key .dat .mip