diff options
| author | Nadrieril | 2019-03-09 15:36:39 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-09 15:36:39 +0100 |
| commit | a0ac45ccc6bd0168f05626fdf1886560006fcda1 (patch) | |
| tree | 7206261d31918bf55abebf5c68b58843f3950904 /dhall_parser/.gitignore | |
| parent | 383c45439ef41136aac5e05b721c804f9e0d954f (diff) | |
Use new Label type everywhere
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions