Martin von Zweigbergk 51c351f272 cli: rename --git-store to --git-repo ... "store" is just used internally, it's not something we should expose to users.		2022-02-02 08:13:10 -08:00
..
technical	docs: some futher touch-ups of concurrency.md	2022-01-12 23:20:22 -08:00
branches.md
code-of-conduct.md
conflicts.md
contributing.md
git-comparison.md
git-compatibility.md	cli: rename --git-store to --git-repo	2022-02-02 08:13:10 -08:00
operation-log.md
related-work.md
revsets.md
tutorial.md	docs: use Git-style unified diff in the tutorial	2022-01-05 12:38:52 -08:00
working-copy.md