jj/src
Martin von Zweigbergk d3f2b4c9cd cli: fix mention of jj git pull to be jj git fetch
This addresses the issue from the title of #412.
2022-07-02 11:06:45 +08:00
..
commands.rs cli: fix mention of jj git pull to be jj git fetch 2022-07-02 11:06:45 +08:00
config.rs config: move NO_COLOR handling from ui, don't override user setting 2022-06-10 12:47:06 +09:00
diff_edit.rs
formatter.rs
graphlog.rs graphlog: don't de-indent multi-line text at end of chain 2022-05-11 04:42:44 -07:00
lib.rs
main.rs
template.pest
template_parser.rs
templater.rs cleanup: remove some unused lifetimes 2022-05-21 10:41:45 -07:00
ui.rs ui: add function to recreate formatters with new color choice 2022-06-10 12:47:06 +09:00