Files for check-in d8c0232ece60270c and within directory /doc sorted by filename

File ages are expressed relative to the check-in time of 2019-08-20 01:18:06.