From c454fb0b9e7edd698be79221341171d13185c240 Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Sun, 27 Dec 2015 16:25:45 +0100 Subject: [PATCH] Add liquidhaskell files to .gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index ab3bd22..cd97800 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,4 @@ cabal.sandbox.config *.hp *.prof *.old +.liquid/