Searched refs:filenameNoExt (Results 1 – 1 of 1) sorted by relevance
196 final String filenameNoExt = (firstDotPos == -1) ? filename : in deleteAuxFiles() local203 if (name.startsWith(filenameNoExt + ".")) { in deleteAuxFiles()