From fa080de7afc95aa1c19a6e6fc0e0708ced2eadc4 Mon Sep 17 00:00:00 2001 From: Joseph Hunkeler Date: Wed, 8 Jul 2015 20:46:52 -0400 Subject: Initial commit --- local/lib/strip.local | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 local/lib/strip.local (limited to 'local/lib/strip.local') 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 -- cgit