]> source.dussan.org Git - gitignore.git/commitdiff
projects / gitignore.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 218a941)
Update .gitignore for Idris 2 3679/head
authorKamil Shakirov <kamils80@gmail.com>
Mon, 15 Mar 2021 08:32:59 +0000 (14:32 +0600)
committerKamil Shakirov <kamils80@gmail.com>
Mon, 15 Mar 2021 08:32:59 +0000 (14:32 +0600)
Idris.gitignore patch | blob | history

diff --git a/Idris.gitignore b/Idris.gitignore
index c28bc7cc675f54a316a8944d22674529b9d21210..0f4e72c71c3010a753cd798ac4fdbf5bc5f2d7f0 100644 (file)
--- a/Idris.gitignore
+++ b/Idris.gitignore
@@ -1,2 +1,7 @@
+# Idris 2
+*.ttc
+*.ttm
+
+# Idris 1
 *.ibc
 *.o
A collection of useful .gitignore templates: https://github.com/github/gitignore