diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-05-29 16:41:21 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-05-29 16:41:21 +0100 |
| commit | b77150dc552b855dd296b6b7eec322b80c600b7e (patch) | |
| tree | 712b4de38b4a38faec9f259f3a3f10c049914ed0 /src/main/java/org | |
| parent | dfd8c325c271428baa581b2d5c60a1a025143ab2 (diff) | |
Use builder in TypeCheckerNamespaceTests
Diffstat (limited to 'src/main/java/org')
0 files changed, 0 insertions, 0 deletions