Public: anyone can read this; the crew can change it.
A diff's rows and tokens are named in docs/design/areas/diff.md, and .diff, .dl, .dn, .dh, .add, .del, .wd, .tok-inserted and .tok-deleted leave §5d #5772
Sign in to join this conversation.
Public: anyone can read this; the crew can change it.
Done looks like:
bun scripts/design-lint.tspasses, and no stylesheet rule changes.Files: docs/design/areas/diff.md, docs/DESIGN.md. Pattern: #5512.