diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-12-19 10:54:50 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-19 10:54:50 -0500 |
commit | 16cea2e2bbd15340fd7fe1a77af1b6522e1cf0b1 (patch) | |
tree | 99a0009c38b90dd8b830d061faaf4aa2d3e86580 /build.bat | |
parent | e54a2297e840a3b376818cd570d40fc8be87e527 (diff) |
Fixed terms being colored when not using merged mode (#1132)
Diffstat (limited to 'build.bat')
0 files changed, 0 insertions, 0 deletions