add .gitignore

2025-09-14 09:28:51 +02:00
parent a49044449a
commit ee87ed85c6
2 changed files with 44 additions and 0 deletions
@@ -0,0 +1,3 @@
+# Default ignored files
+/shelf/
+/workspace.xml