diff options
| author | gingerBill <bill@gingerbill.org> | 2020-03-12 14:40:13 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2020-03-12 14:40:13 +0000 |
| commit | 2a2d3273eae791c5c21eb77374f4818c2a76ae1b (patch) | |
| tree | e2e2c671932002628752ea7362c04f04cc270e12 /src/check_type.cpp | |
| parent | e0a370f8f181d9787312b89bb30da9e638c59584 (diff) | |
Add `@require` for global variables
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions