mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2025-01-28 15:26:25 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 17
jj/cli/src/merge_tools
History
Waleed Khan 56c61fd047 merge_tools: create builtin diff editor
2023-08-30 05:38:10 -04:00
..
builtin.rs merge_tools: create builtin diff editor 2023-08-30 05:38:10 -04:00
external.rs merged_tree: take store argument to write_tree() instead of new() 2023-08-29 08:32:04 -07:00
mod.rs merge_tools: create builtin diff editor 2023-08-30 05:38:10 -04:00