git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a32d58) | patch
remove property user_defined if none left
authoramwaterhouse <Andrew Waterhouse>
Fri, 19 Aug 2005 08:50:53 +0000 (08:50 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 19 Aug 2005 08:50:53 +0000 (08:50 +0000)
commita67402c4b5b2bc1c97d2624af72c941dec51ea40
tree83122f437cbc284a1f92a04787cb136a2e0f5f22tree | snapshot
parent3a32d58fe4dcca10fbc74e2c651d13a13c96331acommit | diff
remove property user_defined if none left
src/jalview/gui/UserDefinedColours.java diff | blob | history