From e978bd0e6bcdd015c710714ea06d334d5d47703e Mon Sep 17 00:00:00 2001
From: Jan-Hendrik Matthes <matthesjh@gmail.com>
Date: Sat, 7 Dec 2019 16:28:03 +0100
Subject: [PATCH] Add .gitignore file for Curry

---
 Curry.gitignore | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 Curry.gitignore

diff --git a/Curry.gitignore b/Curry.gitignore
new file mode 100644
index 00000000..35e501e4
--- /dev/null
+++ b/Curry.gitignore
@@ -0,0 +1,2 @@
+.cpm/
+.curry/