jj/cli/src
2023-08-30 05:38:10 -04:00
..
commands commit: drop merged_ prefix from tree() and tree_id() 2023-08-29 08:32:04 -07:00
config templates: default placeholders to red 2023-08-30 12:54:15 +08:00
merge_tools merge_tools: create builtin diff editor 2023-08-30 05:38:10 -04:00
cleanup_guard.rs No need for Lazy in LIVE_GUARDS 2023-08-22 02:12:05 -04:00
cli_util.rs commit: drop merged_ prefix from tree() and tree_id() 2023-08-29 08:32:04 -07:00
commit_templater.rs commit: drop merged_ prefix from tree() and tree_id() 2023-08-29 08:32:04 -07:00
config-schema.json settings: support human-readable byte sizes for max-new-file-size 2023-08-17 19:29:38 -07:00
config.rs cli: let custom binaries add extra default configs 2023-08-19 06:48:29 -07:00
diff_util.rs commit: drop merged_ prefix from tree() and tree_id() 2023-08-29 08:32:04 -07:00
formatter.rs cli: move src/ directory to new cli/ directory 2023-08-04 19:00:42 -05:00
graphlog.rs cli: move src/ directory to new cli/ directory 2023-08-04 19:00:42 -05:00
lib.rs cli: move src/ directory to new cli/ directory 2023-08-04 19:00:42 -05:00
main.rs cli: move src/ directory to new cli/ directory 2023-08-04 19:00:42 -05:00
operation_templater.rs templater: make .short(negative_len) return 0-length string 2023-08-25 22:59:20 +09:00
progress.rs settings: support human-readable byte sizes for max-new-file-size 2023-08-17 19:29:38 -07:00
template.pest Allow negative numbers in the template grammar 2023-08-24 11:24:07 -04:00
template_builder.rs templater: move empty signature placeholder to user template 2023-08-27 09:38:36 +09:00
template_parser.rs cli: move src/ directory to new cli/ directory 2023-08-04 19:00:42 -05:00
templater.rs templater: move empty signature placeholder to user template 2023-08-27 09:38:36 +09:00
text_util.rs cli: move src/ directory to new cli/ directory 2023-08-04 19:00:42 -05:00
time_util.rs cli: move src/ directory to new cli/ directory 2023-08-04 19:00:42 -05:00
ui.rs cli: fix --no-pager to persist across layered config loading 2023-08-12 13:47:31 +09:00