K 10 svn:author V 5 asami K 8 svn:date V 27 2000-10-07T21:24:54.000000Z K 7 svn:log V 88 Rename ${FILESDIR}/patch-* to ${PATCHDIR}/extra-patch-* (the directories are the same). END