aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEduardo Julian2017-07-24 20:03:42 -0400
committerEduardo Julian2017-07-24 20:03:42 -0400
commit6928bc80cfc265628215b0111751e072f6f2e640 (patch)
tree21ff37c1faeb2eb85739209ddf94c3240735f744 /.gitignore
parent2c1a4d14de8f968ea0530ad471a1999488983c9d (diff)
- Added models as a mechanism to encode nominal types.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions