Folders for check-in 51390b5ba790f180 and within directory doc/dev sorted by filename

File ages are expressed relative to the check-in time of 2017-10-10 04:58:29.