diff options
| author | Nadrieril Feneanar | 2019-09-20 21:12:57 +0200 |
|---|---|---|
| committer | GitHub | 2019-09-20 21:12:57 +0200 |
| commit | e5bba4a0d148c647ff9c1a372a6470b3b3bfdc6e (patch) | |
| tree | 45e5d0c715b9db8c1b30a019a6c971a7340c5117 /dhall/src/phase | |
| parent | 4424d3ece5db10527ae446a685a579ae768ef943 (diff) | |
| parent | 4daead27eb65e3a38869924f0f3ed1f425de1b33 (diff) | |
Merge branch 'master' into fintan/canonicalize
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions