diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000..f5ab3c0f2 --- /dev/null +++ b/.gitignore @@ -0,0 +1,18 @@ +*~ +*.ibc +*.ttc +*.ttm + +*.dSYM + +/build + +/dist/idris2.c + +/docs/build/ + +/libs/**/build +/tests/**/output +/tests/**/*.so +/tests/**/*.dylib +/tests/**/*.dll