chiark / gitweb /
dot/e16-bindings, bin/media-keys: Keybindings for media players.
[profile] / dot / colordiffrc
... / ...
CommitLineData
1## colour diffs...
2
3banner=no
4color_patches=no
5
6cvsstuff=white
7diffstuff=darkcyan
8newtext=darkgreen
9oldtext=darkred