git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be0ebdb) | patch
Change name to editMenu
authoramwaterhouse <Andrew Waterhouse>
Mon, 1 May 2006 14:28:32 +0000 (14:28 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 1 May 2006 14:28:32 +0000 (14:28 +0000)
commitf744d455e1b6bae50524152edf2fe8c78a8dffab
treee5f899ef54eadd5e9a1e8ec9992fa81bb6afe6edtree | snapshot
parentbe0ebdb58f73968ae968799cb67acf32e150463dcommit | diff
Change name to editMenu
src/jalview/gui/PopupMenu.java diff | blob | history