diff options
| author | Eduardo Julian | 2016-09-23 00:52:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-09-23 00:52:38 -0400 |
| commit | 344110bb2a2b22ab593abb40bf8f7a18119e14a6 (patch) | |
| tree | a270910992aa3afb4b53ab299daf32ad9ec7de57 /.gitignore | |
| parent | 9e71d24b76bba0ea2455bacc13df911487a36b16 (diff) | |
- Now using Nat as the type of both VarT and ExT.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions