jj/cli/src/merge_tools
Martin von Zweigbergk 4962d9af3b ui: make hint_*() methods return Option
Same reasoning as the previous patch: we can avoid doing work when
`--quiet` is passed.
2024-04-01 13:00:27 -07:00
..
builtin.rs Nightly clippy fixes 2024-03-02 18:19:14 -08:00
diff_working_copies.rs merge tools: split DiffEditWorkingCopies from DiffWorkingCopies 2024-03-15 21:35:57 -07:00
external.rs cli: add "Hint: " or "Warning: " heading to almost all messages 2024-03-26 11:23:13 +09:00
mod.rs ui: make hint_*() methods return Option 2024-04-01 13:00:27 -07:00