From 2acb3d4f7a61f0a6d932624ccf11cd14d5dc1ff8 Mon Sep 17 00:00:00 2001
From: Clement Delafargue <clement.delafargue@fretlink.com>
Date: Wed, 2 Oct 2019 11:02:54 +0200
Subject: Migrate to dhall 1.26.1 and merge types and terms

---
 dhall/functions.dhall | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 dhall/functions.dhall

(limited to 'dhall/functions.dhall')

diff --git a/dhall/functions.dhall b/dhall/functions.dhall
deleted file mode 100644
index f047c19..0000000
--- a/dhall/functions.dhall
+++ /dev/null
@@ -1 +0,0 @@
-{ Addon = ./addon/functions.dhall, mkConfig = ./mkConfig.dhall }
-- 
cgit v1.2.3