K 10
svn:author
V 6
emaste
K 8
svn:date
V 27
2019-12-12T02:18:18.228052Z
K 7
svn:log
V 368
ObsoleteFiles.inc: remove stale comment

A comment at the top of the file claimed that the file was grouped into
OLD_FILES, OLD_LIBS, then OLD_DIRS, but that hasn't been the case since
the mid-2000s.  Delete the stale comment, add a new comment for the
historical split entries, and move the one more recent entry (from 2013)
to group it into a single logical change.

END