Folders for check-in 5a21cf2cbc7d2c0f and within directory doc/dev sorted by filename

File ages are expressed relative to the check-in time of 2017-05-02 06:59:48.