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/