From 25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06 Mon Sep 17 00:00:00 2001 From: Clement Delafargue Date: Thu, 3 Oct 2019 11:31:56 +0200 Subject: upgrade dhall to 1.26.1 and merge types and terms Previously, types were flattened and terms were nested (as are the directories). For consistency, I made the types nested as well. --- dhall/server/service/Route.dhall | 1 + 1 file changed, 1 insertion(+) create mode 100644 dhall/server/service/Route.dhall (limited to 'dhall/server/service/Route.dhall') diff --git a/dhall/server/service/Route.dhall b/dhall/server/service/Route.dhall new file mode 100644 index 0000000..c0fa1a9 --- /dev/null +++ b/dhall/server/service/Route.dhall @@ -0,0 +1 @@ +{ paths : List Text, protocols : List Text, hosts : List Text } -- cgit v1.2.3