From d2f4812b48fdcbf7edf2d16f92ea305982994684 Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Mon, 18 May 2020 14:01:41 +0100 Subject: [PATCH] Add a .gitignore --- .gitignore | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 .gitignore 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