diff --git a/.gitignore b/.gitignore index 044909b..e26eeeb 100644 --- a/.gitignore +++ b/.gitignore @@ -5,8 +5,8 @@ *.dSYM -idris2 -runtests +/idris2 +/runtests dist/idris2.c