diff options
| author | Eduardo Julian | 2018-07-11 20:11:37 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-11 20:11:37 -0400 |
| commit | 86238e5f3753cd6e751f1fa73367530a54c49577 (patch) | |
| tree | f74f1d6931412ce0345e7a4777f183cb0e4b8d86 /.gitignore | |
| parent | 18e1b3355e9bc7dfe3152416fe6ad4e3fe415af9 (diff) | |
- Re-naming some functions in "lux/language/type/check".
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions