settings ui

2024-12-10 20:32:00 +01:00
parent 35a2074539
commit 848c91379a
15 changed files with 662 additions and 1710 deletions
@@ -0,0 +1,3 @@
+# Default ignored files
+/shelf/
+/workspace.xml