git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a73042d) | patch
fonts added to properties
authoramwaterhouse <Andrew Waterhouse>
Thu, 10 Mar 2005 10:13:48 +0000 (10:13 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 10 Mar 2005 10:13:48 +0000 (10:13 +0000)
commit40ad62c263315c4118de1b67d514e5d23bc761eb
tree4dad0c3a526f48c6cb14899dd281d9165d8e8f38tree | snapshot
parenta73042dd5f38ed512744fa7ee5db99270dfcf3becommit | diff
fonts added to properties
src/jalview/bin/Cache.java diff | blob | history