Monospaced font family for user interface and coding environments
Fixed outdated directories/filenames in source-code-variable.css
Various directories/filenames in source-code-variable.css are outdated. This patch corrects these directories/filenames.
W
Wolfgang Keller committed
efa2b24d9de011e97144ffbb85dfdd6c1da4b46f
Parent: d3f1a59
Committed by GitHub <noreply@github.com>
on 9/20/2023, 9:11:56 PM