Folders for check-in 808cedc7d7403d12 and within directory doc/dev sorted by filename

File ages are expressed relative to the check-in time of 2014-06-05 18:35:11.