Files for check-in f1a8d5baa914eb40 and within directory src/0dev.org/encoding sorted by filename

File ages are expressed relative to the check-in time of 2015-01-01 15:12:44.