]> source.dussan.org Git - gitignore.git/commit
Merge pull request #3679 from ska80/idris2-updates
authorBrian Douglas <bdougie@users.noreply.github.com>
Sat, 4 Dec 2021 15:56:06 +0000 (07:56 -0800)
committerGitHub <noreply@github.com>
Sat, 4 Dec 2021 15:56:06 +0000 (07:56 -0800)
commit6d151383022dcebe99422f8a7aa81038a39790ef
tree7bd0ed5455f63acf099b3e71ee606d3be5b5ed14
parentdf574ca61e20f07e4c11a67ec066654080f37569
parent4c55d7cc4b8afda96a769c5433a9e54845a0e68b
Merge pull request #3679 from ska80/idris2-updates

Update .gitignore for Idris 2