aboutsummaryrefslogtreecommitdiff
path: root/tools/yaml-to-dhall
diff options
context:
space:
mode:
Diffstat (limited to 'tools/yaml-to-dhall')
l---------tools/yaml-to-dhall1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/yaml-to-dhall b/tools/yaml-to-dhall
new file mode 120000
index 0000000..ffe753a
--- /dev/null
+++ b/tools/yaml-to-dhall
@@ -0,0 +1 @@
+dhall \ No newline at end of file