From 3c0a850d1522701e136f4fafbcf69d46560fe0ee Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 6 Dec 2020 16:49:01 +0000 Subject: chore: remove leftover file --- test.dhall | 1 - 1 file changed, 1 deletion(-) delete mode 100644 test.dhall diff --git a/test.dhall b/test.dhall deleted file mode 100644 index c91ac54..0000000 --- a/test.dhall +++ /dev/null @@ -1 +0,0 @@ -{ x = 0 } with x = (1 + 1) -- cgit v1.2.3