Just notice an extra space introduced in error. So corrected it and have
[jalview-manual.git] / .metadata / .plugins / org.eclipse.core.runtime / .settings / org.eclipse.core.resources.prefs
2020-09-25 sduceUpdated manual after testing Jalview develop