summaryrefslogtreecommitdiff
path: root/dhall_parser/.gitignore
diff options
context:
space:
mode:
authorNadrieril2019-03-09 14:32:07 +0100
committerNadrieril2019-03-09 14:32:07 +0100
commite27adcdce55dc15c97bb0ac6d5bc0b082d2232c2 (patch)
tree0b9580165db1bde863bc4cff619593fbce5bf4c3 /dhall_parser/.gitignore
parentd8b69acc45334743c848a3d8b7689729d89eaf3a (diff)
Use new Label type instead of &str in parser
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions