jj/docs
Martin von Zweigbergk 18d4300895 formatter: rename underlined color config to underline
I keep calling it `underline` by mistake, so that probably means that
it's a more natural name for it. We haven't made a release of it yet,
so I didn't mention it in the changelog.

I didn't update all variables to also use `underline`, because I felt
that `underlined` was usually more natural there, plus crossterm calls
it `Attribute::Underlined`.
2023-01-31 08:14:27 -08:00
..
technical
branches.md
code-of-conduct.md
config.md formatter: rename underlined color config to underline 2023-01-31 08:14:27 -08:00
config.toml
conflicts.md
contributing.md contributing.md: Add a link to the "Comprehensive Rust" course 2023-01-25 21:10:10 -08:00
git-comparison.md Rename jj touchup to jj diffedit 2022-12-21 08:15:06 -08:00
git-compatibility.md
github.md style: fix typos found by codespell 2023-01-28 07:23:45 -08:00
operation-log.md
related-work.md
revsets.md style: fix typos found by codespell 2023-01-28 07:23:45 -08:00
tutorial.md style: fix typos found by codespell 2023-01-28 07:23:45 -08:00
working-copy.md workspace: add a root subcommand to print the workspace root path 2023-01-24 16:53:54 +01:00