K 10
svn:author
V 3
bcr
K 8
svn:date
V 27
2010-12-04T17:56:15.000000Z
K 7
svn:log
V 289
Add a section about deleting old files, directories and libraries with a
short description why this is necessary.

PR:                 docs/137762
Submitted by:       Anton Shterenlikht (mexas at bristol dot ac dot uk)
With feedback from: gabor@, ed@ (BATCH_DELETE_OLD_FILES, a while ago)

END
