Skip to content

Commit 6c6244f

Browse files
palmskogpalmskog
committed
add .gitignore file
1 parent 463b15d commit 6c6244f

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

‎.gitignore‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
jsexp/target
2+
mcoq/.gradle
3+
mcoq/build
4+
reports/results
5+
downloads/*/

0 commit comments

Comments
 (0)