Skip to content

Fold long runs of unchanged lines, and show them on → or a click - #7

Merged
rednafi merged 1 commit into
diff-barsfrom
diff-folds
Oct 26, 2026
Merged

rednafi merged 1 commit into
diff-barsfrom
diff-folds

Commits

  1. Commits on Oct 25, 2026