git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 360dd77) | patch
tab name is editing
authoramwaterhouse <Andrew Waterhouse>
Mon, 10 Apr 2006 11:33:35 +0000 (11:33 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 10 Apr 2006 11:33:35 +0000 (11:33 +0000)
commitd8d6f16acc71a3929e2fd8ae54a680618f9af8b6
treedd7b96bd8bbadc6ab5b58d1f5c00ce535ce2c3actree | snapshot
parent360dd77948165056e37da01dc25e07a467c838aecommit | diff
tab name is editing
src/jalview/jbgui/GPreferences.java diff | blob | history