mirror of
https://github.com/martinvonz/jj.git
synced 2025-01-15 08:53:16 +00:00
ebec82ee0c
Before this patch, it was an error to run `jj config set --user foo '[1]'` twice. But it's only been broken since the previous commit because '[1]' was interpreted as a string before then. |
||
---|---|---|
.. | ||
commands | ||
config | ||
merge_tools | ||
cleanup_guard.rs | ||
cli_util.rs | ||
commit_templater.rs | ||
config-schema.json | ||
config.rs | ||
diff_util.rs | ||
formatter.rs | ||
graphlog.rs | ||
lib.rs | ||
main.rs | ||
operation_templater.rs | ||
progress.rs | ||
template.pest | ||
template_builder.rs | ||
template_parser.rs | ||
templater.rs | ||
text_util.rs | ||
time_util.rs | ||
ui.rs |