Two issues were reported during the Jalview workshop day so I fixed them.
[jalview-manual.git] / .settings / org.eclipse.core.resources.prefs
1 eclipse.preferences.version=1
2 encoding/TheJalviewTutorial.tex=UTF-8