Code

Colored reduction fix - 2043334#116

Code

Merged

srba merged 1 commit intoTAPAAL:mainTAPAAL/tapaal-gui:mainfrom mtygesen:colored-reduction-fix-2043334mtygesen/tapaal-gui:colored-reduction-fix-2043334Copy head branch name to clipboardNov 14, 2023

+2-2

Commits

Commits on Nov 14, 2023

• fixed color reduction always being enabled

  mtygesen

  committed
  15fa5aa

  Copy full SHA for 15fa5aa