diff options
| author | Nadrieril | 2019-05-03 23:28:07 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-03 23:28:07 +0200 |
| commit | 1337310f0938294bb2c8da9dfdf3d30200c6b9f2 (patch) | |
| tree | 0166b98b908a6619e230c55e5da967dc9538a96e /dhall_syntax/src | |
| parent | a0a240c0bcba01d6420da86c31101578aeeca495 (diff) | |
Remove some deprecated functions
Diffstat (limited to 'dhall_syntax/src')
0 files changed, 0 insertions, 0 deletions