mirror of
https://github.com/martinvonz/jj.git
synced 2025-02-11 15:07:06 +00:00
merge_tools: create merge_tools
directory
The intention is to put the internal and external merge tool implementations in different files.
This commit is contained in:
parent
a8b02de5c3
commit
4bb40bbf10
1 changed files with 0 additions and 0 deletions
Loading…
Reference in a new issue