#  $HeadURL$ $LastChangedRevision$

'files' is a bad name for this directory because it suggests
it has some connection with the other 'files' directories, but
it doesn't. I should find a better name.