gud commit

2024-12-13 10:21:22 +01:00
parent de1b0cd1b8
commit e57d8b7490
13 changed files with 221 additions and 51 deletions
@@ -0,0 +1,3 @@
+# Default ignored files
+/shelf/
+/workspace.xml