Update .gitignore

This commit is contained in:
Andrew authored and GitHub committed 2020-10-18 16:36:22 -07:00
1 parent 9aac70c734
commit 039a732148
1 file changed
+4
+4
View File
@@ -13,3 +13,7 @@ lint/out.jar
lint/mapping.txt
.DS_Store
.idea/
Iris.iml