diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2015-07-08 20:46:52 -0400 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2015-07-08 20:46:52 -0400 |
| commit | fa080de7afc95aa1c19a6e6fc0e0708ced2eadc4 (patch) | |
| tree | bdda434976bc09c864f2e4fa6f16ba1952b1e555 /local/lib/strip.local | |
| download | iraf-linux-fa080de7afc95aa1c19a6e6fc0e0708ced2eadc4.tar.gz | |
Initial commit
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 |