Merge cf0068a

Jenkins · Jenkins · commit 38f0bffd00e7 · 2025-07-23T06:26:40.000-04:00
diff --git a/repository/.properties b/repository/.properties
@@ -1,3 +1,4 @@
 {
+	#version : #1.0,
 	#format : #filetree
-} 
+}
