re-implemented user prefs logic - still need to debug option change detection.
[jalview.git] / .project
2010-04-29 jproctershare eclipse settings