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 1/2] 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/

From 45e28779f639b16a053db898ddc1509eb9b39fff Mon Sep 17 00:00:00 2001
From: Jan-Hendrik Matthes <matthesjh@gmail.com>
Date: Sat, 7 Dec 2019 20:36:00 +0100
Subject: [PATCH 2/2] Ignore the Curry_Main_Goal file

---
 Curry.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Curry.gitignore b/Curry.gitignore
index 35e501e4..44cd6016 100644
--- a/Curry.gitignore
+++ b/Curry.gitignore
@@ -1,2 +1,3 @@
 .cpm/
 .curry/
+Curry_Main_Goal.curry