summaryrefslogtreecommitdiff
path: root/docs/design/interfaces.md
AgeCommit message (Expand)Author
2024-06-10Fix typos in the docs (#4322)Anders Leino
2017-09-13Add an initial design document on interfacesTim Foley
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-06 05:06:25 +0000