diff options
| author | Eduardo Julian | 2015-08-16 15:37:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-08-16 15:37:46 -0400 |
| commit | df3e4ba2df6462812174e69ea5c334a7edbbd5c7 (patch) | |
| tree | 70fb6de01255324f4fc57d789ac9face3ff8eb73 /.gitignore | |
| parent | 3d18954a2307b48c955f5bdd3790a92ffeb7284c (diff) | |
Introduced named types (#NamedT Ident Type).
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions