From f273b85c70dbb9f857775e0fe7da4c3b28d24ffe Mon Sep 17 00:00:00 2001 From: Jenkins Server Date: Thu, 22 May 2025 17:53:25 +0200 Subject: [PATCH] Recommit for updates in build 13 --- doc/file.README.html | 6 +++--- doc/index.html | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/doc/file.README.html b/doc/file.README.html index 509c317..3fc82e5 100644 --- a/doc/file.README.html +++ b/doc/file.README.html @@ -60,7 +60,7 @@

Readme

-

|

+

|

[[TOC]]

@@ -111,9 +111,9 @@

All dependencies must be included in the catalogue.

Deployment

diff --git a/doc/index.html b/doc/index.html index 6825b39..a92e485 100644 --- a/doc/index.html +++ b/doc/index.html @@ -60,7 +60,7 @@

Readme

-

|

+

|

[[TOC]]

@@ -111,9 +111,9 @@

All dependencies must be included in the catalogue.

Deployment