diff options
Diffstat (limited to 'vo/lib/strip')
| -rw-r--r-- | vo/lib/strip | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/vo/lib/strip b/vo/lib/strip new file mode 100644 index 00000000..c360649a --- /dev/null +++ b/vo/lib/strip @@ -0,0 +1,5 @@ +# STRIP -- Rmfiles command script, used to strip the VO directories +# of all files not required for ordinary runtime use of the system. + +src -allbut .hlp .hd .men .cl .par .key .dat .mip .fits + |