Skip to content

split: add `split *` and `split +` to iterate over top-level conjunct…

77c9f79
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

split: add split * and split + to iterate over top-level conjunctions #1015

split: add `split *` and `split +` to iterate over top-level conjunct…
77c9f79
Select commit
Loading
Failed to load commit list.