Martin von Zweigbergk ee336a2e45 cli: delete builtin update/up aliases ... These don't seem used much, and maybe we (or a customized build) will want to use the name in the future.		2023-02-10 08:33:05 -08:00
..
commands	cli: delete builtin update/up aliases	2023-02-10 08:33:05 -08:00
config	cli: expand $left/$right parameters in merge-tools.<name>.edit-args	2023-02-07 18:32:57 +09:00
cleanup_guard.rs
cli_util.rs	cli: handle last-minute ui.write() error	2023-02-10 23:30:35 +09:00
config-schema.json	config: add merge-tools.<name>.edit-args to schema	2023-02-07 18:32:57 +09:00
config.rs
diff_util.rs
formatter.rs
graphlog.rs
lib.rs
main.rs
merge_tools.rs	cli: replace all $variable matches found in edit/merge-args	2023-02-07 18:32:57 +09:00
progress.rs
template.pest	templater: allow trailing comma	2023-02-07 23:19:36 +09:00
template_parser.rs	templater: allow trailing comma	2023-02-07 23:19:36 +09:00
templater.rs	templater: inline extract_entire_prefix_and_trimmed_tail() and simplify	2023-02-07 11:42:39 +09:00
time_util.rs
ui.rs	cli: handle last-minute ui.write() error	2023-02-10 23:30:35 +09:00