mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-25 17:11:12 +00:00
Follows up on #3599. I also moved the discussion of other diff editors to a footnote, as it didn't seem to fit well into the flow of the text.
Follows up on #3599. I also moved the discussion of other diff editors to a footnote, as it didn't seem to fit well into the flow of the text.