Update .gitignore

This commit is contained in:
Andrew authored and GitHub committed 2020-10-18 16:29:25 -07:00
1 parent f16de65934
commit 6e6453f897
1 file changed
+2
+2
View File
@@ -13,3 +13,5 @@ lint/out.jar
lint/mapping.txt
.DS_Store
.idea/