mirror of
https://github.com/peterdell/wudsn-ide.git
synced 2024-12-21 18:29:40 +00:00
.. | ||
org.eclipse.core.resources.prefs | ||
org.eclipse.jdt.core.prefs | ||
org.eclipse.jdt.ui.prefs |
.. | ||
org.eclipse.core.resources.prefs | ||
org.eclipse.jdt.core.prefs | ||
org.eclipse.jdt.ui.prefs |