mirror of
https://github.com/martinvonz/jj.git
synced 2024-10-25 16:09:56 +00:00
13d9dc4460
For stock merge-tools, having name -> args indirection makes sense. For user-specific settings, it's simpler to set command name and arguments together. It might be a bit odd that "name with whitespace" can be parsed differently depending on the existence of merge-tools."name with whitespace". |
||
---|---|---|
.. | ||
commands | ||
config | ||
cleanup_guard.rs | ||
cli_util.rs | ||
config-schema.json | ||
config.rs | ||
diff_util.rs | ||
formatter.rs | ||
graphlog.rs | ||
lib.rs | ||
main.rs | ||
merge_tools.rs | ||
progress.rs | ||
template.pest | ||
template_parser.rs | ||
templater.rs | ||
time_util.rs | ||
ui.rs |