source.jalview.org Git - jalview-manual.git/blob - .settings/org.eclipse.core.resources.prefs

git://source.jalview.org / jalview-manual.git / blob

summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD

[jalview-manual.git] / .settings / org.eclipse.core.resources.prefs

1 eclipse.preferences.version=1

2 encoding/TheJalviewTutorial.tex=UTF-8