From 7d4e3fadec1c0c6abf7367870e6781289b561b5c Mon Sep 17 00:00:00 2001 From: Jenkins Server Date: Tue, 20 May 2025 12:36:43 +0200 Subject: [PATCH] Recommit for updates in build 3 --- doc/file.README.html | 4 ++-- doc/index.html | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/file.README.html b/doc/file.README.html index c6a2d51..c9ec4e9 100644 --- a/doc/file.README.html +++ b/doc/file.README.html @@ -60,7 +60,7 @@

Readme

-

|

+

|

[[TOC]]

@@ -78,7 +78,7 @@

All dependencies must be included in the catalogue.

Deployment

diff --git a/doc/index.html b/doc/index.html index 2a6d8d8..21df270 100644 --- a/doc/index.html +++ b/doc/index.html @@ -60,7 +60,7 @@

Readme

-

|

+

|

[[TOC]]

@@ -78,7 +78,7 @@

All dependencies must be included in the catalogue.

Deployment