diff options
| author | Nadrieril | 2019-03-27 00:38:43 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-27 00:38:43 +0100 |
| commit | f358a9b1a7b05e300cdab41f2903187227564aa9 (patch) | |
| tree | b00936c8d05489c699ab1fe4d2979af11fa7df38 /dhall_parser/.gitignore | |
| parent | 108c35242884b9cb5e3988e406f7983404cdf315 (diff) | |
Rename match_pair!() to match_children!()
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions