mirror of
https://github.com/martinvonz/jj.git
synced 2025-01-29 23:57:51 +00:00
848bb610cc
We don't want e.g. `jj diff --git` to have underlined text because it's redundant there. This patch fixes that by adding a new `token` label used only in the color-words diff (for now - it may be used in git diffs in the future). This means we could remove the `line_number` label but I left it because there's little harm in having it and it seems like it can still be useful. Thanks to @yuja for noticing and suggesting the fix. |
||
|---|---|---|
| .. | ||
| examples | ||
| src | ||
| testing | ||
| tests | ||
| build.rs | ||
| Cargo.toml | ||
| LICENSE | ||