Searched refs:INI_EXTENSION (Results 1 – 1 of 1) sorted by relevance
119 private final static String INI_EXTENSION = ".ini"; //$NON-NLS-1$ field in AvdManager121 INI_EXTENSION + "$", //$NON-NLS-1$244 return new File(avdRoot, name + INI_EXTENSION); in getIniFile()