summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorBasile Henry2020-11-01 10:21:53 +0100
committerBasile Henry2020-11-01 10:21:53 +0100
commite12d7fc914a1c97376ed112a92326a138fa2b3f8 (patch)
tree0c5c96566b35cd2a9f140787fea4fb374e9a8b8c /dhall-lang
parent48037367933085ca9c1c67c8c59f311e2b21be6d (diff)
Allow `Text/replace ` to support an abstract haystack
Diffstat (limited to '')
m---------dhall-lang0
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject e1e726f9e835f0b9ea61f8f193eff93778af2a2
+Subproject ada9a99c12afdf289be9be2971ee043df370028