No builds |
Tab bar: to switch tabs using the mouse wheel skips every other tab (#2427) |
Tab bar: to switch tabs using the mouse wheel skips every other tab (#2427) |
Linux: make Ubuntu 20.04 LTS our minimal supported version (#2423) |
Tab bar: to switch tabs using the mouse wheel skips every other tab (#2427) |
SUNDIALS: upgrade to version 5.5.0 (#2421) |
SUNDIALS: upgrade to version 5.5.0 (#2421) |
Some minor cleaning up |
Some minor cleaning up |
GUI: not all the widgets in a tool bar are visible in the corresponding context menu (#2395) |
GUI: not all widgets in a tool bar are visible in its corresponding context menu (#2395) |
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395) |
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395) |
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395) |
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395) |
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395) |
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395) |
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395) |
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395) |
QtWebKit: revert to tag v5.12.0 (#2416) |
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395) |
libgit2: upgrade to version 1.1.0 (#2414) |
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395) |
LLVM+Clang: upgrade to version 11.0.0 (#2410) |
Just for testing Jenkins |
Just for testing Jenkins |
Just for testing Jenkins |
Just for testing Jenkins |
Just for testing Jenkins |
Just for testing Jenkins |
Just for testing Jenkins |