chiark / gitweb /
artwork: update the theme file with diff highlighting colors.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 16 Oct 2018 12:40:13 +0000 (14:40 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Tue, 16 Oct 2018 12:40:13 +0000 (14:40 +0200)
commit109e79cc92064a3c0bdd4419ddf731427d2dd355
tree179e56da753c488c8b20faf2846f92a3ab5c6165
parent3a7cb5f0f53b7dfe8b7ee1b353dbb2ad92441a6e
artwork: update the theme file with diff highlighting colors.
artwork/colors-dark.svg