Merge branch 'master' of https://source.jalview.org/git/jalviewjs.git
[jalviewjs.git] / .settings / org.eclipse.jdt.core.prefs
2015-07-24 hansonrMerge branch 'master' of https://source.jalview.org...
2015-07-23 gmungocJAL-1807 Bob's JalviewJS prototype first commit