Folders for check-in b5d9bd2fd0f53199 and within directory src/encodings sorted by filename

File ages are expressed relative to the check-in time of 2018-08-04 14:37:31.