diff options
| author | Kamil Shakirov <kamils80@gmail.com> | 2021-03-15 14:32:59 +0600 |
|---|---|---|
| committer | Kamil Shakirov <kamils80@gmail.com> | 2021-03-15 14:32:59 +0600 |
| commit | 4c55d7cc4b8afda96a769c5433a9e54845a0e68b (patch) | |
| tree | b9bba26e493ebc2bc700912733fc4da75fd670c3 /Idris.gitignore | |
| parent | 218a941be92679ce67d0484547e3e142b2f5f6f0 (diff) | |
| download | gitignore-4c55d7cc4b8afda96a769c5433a9e54845a0e68b.tar.gz gitignore-4c55d7cc4b8afda96a769c5433a9e54845a0e68b.zip | |
Update .gitignore for Idris 2
Diffstat (limited to 'Idris.gitignore')
| -rw-r--r-- | Idris.gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Idris.gitignore b/Idris.gitignore index c28bc7cc..0f4e72c7 100644 --- a/Idris.gitignore +++ b/Idris.gitignore @@ -1,2 +1,7 @@ +# Idris 2 +*.ttc +*.ttm + +# Idris 1 *.ibc *.o |