Skip to content

Ignore TOOD detector name in website spellcheck - #380

Merged
glenn-jocher merged 1 commit into
mainfrom
spellcheck-ignore-tood
Nov 2, 2026
Merged

Ignore TOOD detector name in website spellcheck#380
glenn-jocher merged 1 commit into
mainfrom
spellcheck-ignore-tood

Ignore TOOD detector name in website spellcheck

13ccd77
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar