Repository navigation

Document dashed, dotted and per-side borders in EDGE - #564

Merged

simonhamp merged 2 commits into

mainfrom

docs/edge-dashed-borders

Oct 23, 2026

Merged

Document dashed, dotted and per-side borders in EDGE#564
simonhamp merged 2 commits into
mainfrom
docs/edge-dashed-borders

Commits on Oct 19, 2026
- Document dashed, dotted and per-side borders in EDGE
  
  simonhamp
  and
  claude
  committed
  f852272
Commits on Oct 20, 2026
- Fix plugin sync log assertion and quiet CI test output
  
  simonhamp
  and
  claude
  committed
  c7cfc5f