Files for check-in 87e5dc43ffd3500a384c6a0f244d52f3d68aadfa and within directory /docs sorted by filename

File ages are expressed relative to the check-in time of 2015-04-06 19:20:42.