diff options
author | Nadrieril | 2019-04-06 17:50:47 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-06 17:50:47 +0200 |
commit | d9b4bd8d4019ca9ab999c0c4657663604158101c (patch) | |
tree | 15b90ab300995a7dd92c469b903d2fc8f6d57888 /dhall/tests/common | |
parent | 9741e3280ed03920732430e7994e1f8482c9ddd6 (diff) |
s/Type/StaticType/
Diffstat (limited to 'dhall/tests/common')
0 files changed, 0 insertions, 0 deletions