Home
last modified time | relevance | path

Searched defs:devTree (Results 1 – 2 of 2) sorted by relevance

/sdk/eclipse/plugins/com.android.ide.eclipse.pdt/src/com/android/ide/eclipse/pdt/
DPdtPlugin.java72 String devTree = store.getString(PrefPage.PREFS_DEVTREE_DIR); in getDevTree() local
121 String devTree = getDevTree(); in getDevTreeOutBin() local
/sdk/eclipse/plugins/com.android.ide.eclipse.pdt/src/com/android/ide/eclipse/pdt/internal/
DDevTreeProjectProvider.java54 String devTree = PdtPlugin.getDevTree(); in getProject() local