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.ide.prefs
1 PROBLEMS_FILTERS_MIGRATE=true
2 eclipse.preferences.version=1
3 platformState=1567851146886
4 quickStart=false
5 tipsAndTricks=true