Ilya Grigoriev 5fb17925eb jj log: option to specify preferred id length ... The new option is `ui.log-id-preferred-length`. Setting it to 6 is quite convenient for the `jj` repo, for example. Screenshot: https://user-images.githubusercontent.com/4123047/216535699-ad1e2ac8-73dd-44be-b28a-ebdebc00c63c.png		2023-02-05 21:18:42 -08:00
..
gen-protos
src	jj log: option to specify preferred id length	2023-02-05 21:18:42 -08:00
tests
testutils
build.rs
Cargo.toml