diff options
| author | Nadrieril | 2020-04-05 19:56:00 +0100 |
|---|---|---|
| committer | GitHub | 2020-04-05 19:56:00 +0100 |
| commit | 4290615769fc26c5e4b70843e7fbfddf6359af41 (patch) | |
| tree | d7b7a860f08831aa81faee961c0d675440daea32 /dhall_syntax/src | |
| parent | 7e977f282fb6a0eff0ef45738b9b5c98dc4c6fee (diff) | |
| parent | 5a10cd2e8fac854f4f6fa152cfb1b9ad71b0d091 (diff) | |
Merge pull request #157 from Nadrieril/release
Release v0.5.0
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions