.colordiffrc
author Oleksandr Gavenko <gavenkoa@gmail.com>
Sun, 30 Dec 2018 12:21:48 +0200
changeset 914 0dba496629c9
parent 886 74f10c613c59
permissions -rw-r--r--
Allow to override font size by local settings.

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