diff options
| author | Nadrieril | 2019-05-04 18:41:22 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-04 18:41:22 +0200 |
| commit | ab100be616932dab22a5309df86107b66e93db37 (patch) | |
| tree | c5a093c8d9a05cb50e83966fe4923c134f5c3515 /dhall_generated_parser/.gitignore | |
| parent | 6ad7a2000bf32b96be731cd51da5b841976dae12 (diff) | |
Revert "Make SubExpr generic in the variable labels type"
This reverts commit 4c159640e5ee77ffa48b85a5bffa56350cf933ef.
Diffstat (limited to 'dhall_generated_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions