diff options
| author | Jonas Schievink <[email protected]> | 2021-02-11 18:52:33 +0000 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-02-11 18:52:33 +0000 |
| commit | 216dc856c5b48de7d9cdbe6259b2d0cd3c4e5042 (patch) | |
| tree | f488d4f3d44e60ea6c3ff98b5fb8c8f2a209f907 /.gitignore | |
| parent | b0f20a795d6b1f8d36d1cbe294e54ac592b98f5e (diff) | |
Wrap `BuiltinType` in code model
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions