aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJonas Schievink <[email protected]>2021-02-11 18:52:33 +0000
committerJonas Schievink <[email protected]>2021-02-11 18:52:33 +0000
commit216dc856c5b48de7d9cdbe6259b2d0cd3c4e5042 (patch)
treef488d4f3d44e60ea6c3ff98b5fb8c8f2a209f907 /.gitignore
parentb0f20a795d6b1f8d36d1cbe294e54ac592b98f5e (diff)
Wrap `BuiltinType` in code model
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions