More exercise tweaks - regularise warnings/platform help, some typos, and reinstated...
[jalview-manual.git] / .settings / org.eclipse.core.resources.prefs
1 eclipse.preferences.version=1
2 encoding/TheJalviewTutorial.tex=UTF-8