git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: eeed363 fd814da)
Merge branch 'improvement/JAL-3830_remove_dock_icon_in_headless_mode' into merge...
authorBen Soares <b.soares@dundee.ac.uk>
Fri, 18 Aug 2023 13:34:14 +0000 (14:34 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Fri, 18 Aug 2023 13:34:14 +0000 (14:34 +0100)
1  2 
src/jalview/bin/Jalview.java patch | diff1 | diff2 | blob | history
src/jalview/gui/JvOptionPane.java patch | diff1 | diff2 | blob | history

diff --cc src/jalview/bin/Jalview.java
Simple merge
diff --cc src/jalview/gui/JvOptionPane.java
Simple merge