../ PLIST,v 02-Jul-2013 00:08 2888 PLIST.elisat,v 02-Jul-2013 00:08 2135 PLIST.elisau,v 02-Jul-2013 00:08 2093 PLIST.end,v 02-Jul-2013 00:08 2128 PLIST.k12x10,v 02-Jul-2013 00:08 2090 PLIST.kaname,v 02-Jul-2013 00:08 2095 PLIST.kappa,v 02-Jul-2013 00:08 2340 PLIST.naga10,v 02-Jul-2013 00:08 2332 PLIST.shinonome,v 02-Jul-2013 00:08 2177 distinfo,v 02-Jul-2013 00:08 4139