Skip to content

Wrap the Verification panel at spaces and operators, one conjunct per line - #189

Merged
CatarinaGamboa merged 3 commits into
mainfrom
feat/187-panel-wrap
Nov 11, 2026
Merged

CatarinaGamboa merged 3 commits into
mainfrom
feat/187-panel-wrap

Diff each line of a changed Found predicate against the line it replaces

79c1800
Select commit
Loading
Failed to load commit list.