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/compare.fish | |
parent | 108c35242884b9cb5e3988e406f7983404cdf315 (diff) |
Rename match_pair!() to match_children!()
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions