File r38/util/clean artifact 89c0d6a59f part of check-in 9992369dd3

#!/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 {} \;