mirror of
https://github.com/martinvonz/jj.git
synced 2025-02-06 11:34:54 +00:00
b8e0ba9872
If the head is unchanged, it shouldn't be removed. Otherwise the next reader wouldn't find the existing table. |
||
---|---|---|
.. | ||
benches | ||
gen-protos | ||
src | ||
tests | ||
testutils | ||
build.rs | ||
Cargo.toml |