]> gitweb.factorcode.org Git - factor.git/commit
ui.theme.base16: adding code-border-color
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 26 Jul 2022 08:38:07 +0000 (01:38 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 26 Jul 2022 08:38:07 +0000 (01:38 -0700)
commit3ceb6f10519491dbfc1d44177010b1bc18afc159
treea250a4b8e0b82f5342f33516684c0091b8f5cc8f
parentf90cb628b69bcf61432157796ba55971991da210
ui.theme.base16: adding code-border-color
basis/ui/theme/base16/base16.factor