Artifact 89c0d6a59f7137f763bd6c7e78e154d4d160afab5ee6ac3700c17c281ed74e7f:


#!/bin/csh -f

# clean --- Remove *.old files from a tree.
# You need to position yourself at the top of the relevant tree to use it.

# Author: Anthony C. Hearn.

find . -name "*.old" -print -exec rm -r {} \;


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]