diff options
Diffstat (limited to 'local/lib/strip.local')
| -rw-r--r-- | local/lib/strip.local | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/local/lib/strip.local b/local/lib/strip.local new file mode 100644 index 00000000..93550862 --- /dev/null +++ b/local/lib/strip.local @@ -0,0 +1,4 @@ +# 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 |