/patch-texmf_web2c_texmf_cnf/1.7/Thu Jan  3 15:57:00 2013//
/patch-texmf_web2c_texmfcnf_lua/1.2/Thu Jan  3 15:57:01 2013//
D
