diff options
| author | Nadrieril | 2019-08-04 11:11:37 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-06 21:40:24 +0200 |
| commit | 711164a7a24ab832006b72cac162e78cf434861a (patch) | |
| tree | cdb2097aa25e20c2953cd5d0192ce66274def33b /dhall-lang | |
| parent | cc03ada4e713f145f2eb1bbf0f131a4c5746cf74 (diff) | |
Remove old-style optional literals
Diffstat (limited to '')
| m--------- | dhall-lang | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang -Subproject b1f98152c404b661233db9a834d8e31ab270447 +Subproject b1992297d702c67d2e1b1597af5c533af293430 |