.colordiffrc
author Oleksandr Gavenko <gavenkoa@gmail.com>
Sat, 21 Nov 2020 19:39:44 +0200
changeset 948 9d4c25b94a61
parent 886 74f10c613c59
permissions -rw-r--r--
Use bold font instead of alternative color in mintty. Bold colors are shown when bright colors are requested.

plain=normal
newtext=darkgreen
oldtext=darkred
diffstuff=magenta
cvsstuff=darkblue