From 7d79813cc40e214e0bf9ade900b6728169d788f5 Mon Sep 17 00:00:00 2001
From: Clement Delafargue <clement.delafargue@fretlink.com>
Date: Thu, 3 Oct 2019 11:36:49 +0200
Subject: upgrade to dhall 1.26.1

I've inlined the types in a single file as they're rather small
---
 dhall/Types.dhall | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 dhall/Types.dhall

(limited to 'dhall/Types.dhall')

diff --git a/dhall/Types.dhall b/dhall/Types.dhall
deleted file mode 100644
index 2a6fa6e..0000000
--- a/dhall/Types.dhall
+++ /dev/null
@@ -1 +0,0 @@
-{ Vault = ./Vault.dhall, Config = ./Config.dhall }
-- 
cgit v1.2.3