diff options
| author | Nadrieril | 2019-03-09 14:32:07 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-09 14:32:07 +0100 |
| commit | e27adcdce55dc15c97bb0ac6d5bc0b082d2232c2 (patch) | |
| tree | 0b9580165db1bde863bc4cff619593fbce5bf4c3 /dhall_parser/.gitignore | |
| parent | d8b69acc45334743c848a3d8b7689729d89eaf3a (diff) | |
Use new Label type instead of &str in parser
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions