]> source.dussan.org Git - gitignore.git/commit
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)
commit4c55d7cc4b8afda96a769c5433a9e54845a0e68b
treeb9bba26e493ebc2bc700912733fc4da75fd670c3
parent218a941be92679ce67d0484547e3e142b2f5f6f0
Update .gitignore for Idris 2
Idris.gitignore