]> git.ralfj.de Git - web.git/commitdiff
also point about adding new primitives
authorRalf Jung <post@ralfj.de>
Fri, 13 Mar 2026 08:58:23 +0000 (09:58 +0100)
committerRalf Jung <post@ralfj.de>
Fri, 13 Mar 2026 09:02:33 +0000 (10:02 +0100)

No differences found