mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-30 03:21:12 +00:00
This could be a "ui.diff.format" variant, but we would need to solve namespace problem by prefixing "tool:<name>" for example. Then, inlining command arguments would become uglier. #1886