.colordiffrc
author Oleksandr Gavenko <gavenkoa@gmail.com>
Tue, 19 Nov 2019 12:20:50 +0200
changeset 930 e867bffa536e
parent 886 74f10c613c59
permissions -rw-r--r--
Ping SSH server every 2 min.

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