Merge branch 'Jalview-JS/JAL-3253-applet' of https://source.jalview.org/git/jalview...
[jalview.git] / benchmarking / .settings / org.eclipse.core.resources.prefs
1 eclipse.preferences.version=1
2 encoding//src/main/java=UTF-8
3 encoding/<project>=UTF-8