.. |
commands
|
refs: migrate classify_branch_push_action() to local/remote targets pair
|
2023-10-12 16:50:09 +09:00 |
config
|
cli: enable tree-level conflicts by default
|
2023-10-05 10:31:47 -07:00 |
merge_tools
|
working_copy: rename to local_working_copy
|
2023-10-07 08:19:03 -07:00 |
cleanup_guard.rs
|
No need for Lazy in LIVE_GUARDS
|
2023-08-22 02:12:05 -04:00 |
cli_util.rs
|
cli: allow overwriting non-scalar with jj config set
|
2023-10-11 07:40:08 -07:00 |
commit_templater.rs
|
git: look up "git" remote branches normally
|
2023-10-07 19:33:35 +09:00 |
config-schema.json
|
cli: redefine default log revset using immutable_heads()
|
2023-10-01 11:15:30 -07:00 |
config.rs
|
revsets: add trunk alias with default to main/master/root
|
2023-09-17 10:17:23 +10:00 |
diff_util.rs
|
merge_tools: enable :builtin as default diff/merge editor
|
2023-09-21 03:29:27 +02: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
|
cli: elide path in snapshot progress in the same way
|
2023-09-02 08:21:33 +09:00 |
template.pest
|
Allow \0 escape for nulls
|
2023-09-14 17:11:05 -04:00 |
template_builder.rs
|
templater: add boolean literals
|
2023-09-03 07:01:40 +09:00 |
template_parser.rs
|
Allow \0 escape for nulls
|
2023-09-14 17:11:05 -04:00 |
templater.rs
|
templater: move empty signature placeholder to user template
|
2023-08-27 09:38:36 +09:00 |
text_util.rs
|
cli: add helper to elide text from left
|
2023-09-02 08:21:33 +09:00 |
time_util.rs
|
cli: move src/ directory to new cli/ directory
|
2023-08-04 19:00:42 -05:00 |
ui.rs
|
ui: remove write*() and flush() methods
|
2023-10-11 19:24:01 +09:00 |