julia
REPL: fix face name in Monokai theme example
#63045

Merged

REPL: fix face name in Monokai theme example #63045

KristofferC merged 1 commit into master from kc/repl-docs-julia-cmd-face

REPL: fix face name in Monokai theme example

b0a4914e

KristofferC added backport 1.13

KristofferC merged e91d889d into master 50 days ago

KristofferC deleted the kc/repl-docs-julia-cmd-face branch 50 days ago

KristofferC removed backport 1.13

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone