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/src/traits | |
parent | a0a240c0bcba01d6420da86c31101578aeeca495 (diff) |
Remove some deprecated functions
Diffstat (limited to 'dhall/src/traits')
0 files changed, 0 insertions, 0 deletions