git://source.jalview.org / jalview-manual.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Updated manual after testing Jalview develop
[jalview-manual.git] / .metadata / .plugins / org.eclipse.core.runtime / .settings / org.eclipse.ui.workbench.prefs
1 //org.eclipse.ui.commands/state/org.eclipse.ui.navigator.resources.nested.changeProjectPresentation/org.eclipse.ui.commands.radioState=false
2 PLUGINS_NOT_ACTIVATED_ON_STARTUP=;org.eclipse.m2e.discovery;
3 eclipse.preferences.version=1