From 9c2204da2b8a7bda27546090f66e91fc0fb2caa8 Mon Sep 17 00:00:00 2001 From: Jenkins Server Date: Thu, 22 May 2025 15:27:17 +0200 Subject: [PATCH] Recommit for updates in build 2 --- 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 cbbff0a..66a02d8 100644 --- a/doc/file.README.html +++ b/doc/file.README.html @@ -60,7 +60,7 @@

Readme

-

+

[[TOC]]

@@ -96,7 +96,7 @@

All dependencies must be included in the catalogue.

Deployment

diff --git a/doc/index.html b/doc/index.html index d3fa4c3..58212ec 100644 --- a/doc/index.html +++ b/doc/index.html @@ -60,7 +60,7 @@

Readme

-

+

[[TOC]]

@@ -96,7 +96,7 @@

All dependencies must be included in the catalogue.

Deployment