files added

2020-10-30 17:59:18 +01:00
parent 47b69ca811
commit 3edae31699
47 changed files with 439 additions and 0 deletions
@@ -0,0 +1,3 @@
+# Default ignored files
+/shelf/
+/workspace.xml