diff options
Diffstat (limited to 'docs/ideas.typ')
| -rw-r--r-- | docs/ideas.typ | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ideas.typ b/docs/ideas.typ index 8c83ab55..dfd5447a 100644 --- a/docs/ideas.typ +++ b/docs/ideas.typ @@ -1,5 +1,5 @@ // STATUS: live scratch notes, deliberately unfiled — nothing compiles this file -// (no `build.zig` step, and `docs/design.typ` does not include it); kept because +// (no `build.zig` step or other document includes it); kept because // the first two ideas are still open. The ideas themselves were last touched in // change `xmzpwklp` (2026-08-01); this header and the LANDED annotation below // are 2026-08-26 and changed no idea. |