mirror of
https://github.com/martinvonz/jj.git
synced 2025-01-02 18:01:05 +00:00
a81ebeb85e
The expression 'x ~ empty()' is identical to 'x & file(".")', but more intuitive. Note that 'x ~ empty()' is slower than 'x & file(".")' since the negative intersection isn't optimized right now. I think that can be handled as follows: 'x ~ filter(f)' -> 'x & filter(!f)' -> 'filter(!f, x)' |
||
---|---|---|
.. | ||
technical | ||
branches.md | ||
code-of-conduct.md | ||
config.md | ||
config.toml | ||
conflicts.md | ||
contributing.md | ||
git-comparison.md | ||
git-compatibility.md | ||
operation-log.md | ||
related-work.md | ||
revsets.md | ||
tutorial.md | ||
working-copy.md |