diff options
| author | Nadrieril | 2019-03-16 00:18:50 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-16 00:18:50 +0100 |
| commit | 5692bf2c8a7acfb90a5d03d0bd360c105ba2a72b (patch) | |
| tree | b86ac0beeb06cb9984f1d6a2ba547d391674533e /dhall_parser/.gitignore | |
| parent | 1522469dc0b68c63dbbc81faab057c3d48402657 (diff) | |
Store an Option in OptionalLit instead of a vec
Closes #21
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions