From 9c7a251c1dbff58b45151d93fdb17845f820dcb1 Mon Sep 17 00:00:00 2001
From: Trygve Laugstøl <trygvis@inamo.no>
Date: Tue, 10 Nov 2020 10:53:33 +0100
Subject: dhall tools.

---
 tools/yaml-to-dhall | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 tools/yaml-to-dhall

(limited to 'tools/yaml-to-dhall')

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
-- 
cgit v1.2.3