From 4691dbcf0ffbc861a373c512360eef710a795e1a Mon Sep 17 00:00:00 2001 From: Markus Zolliker Date: Mon, 17 Mar 2025 13:19:23 +0100 Subject: [PATCH] push test --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index f374851..2e4820b 100644 --- a/README.md +++ b/README.md @@ -170,3 +170,4 @@ If the server is started in the background (with '&' appended to the command): - Finally, for maitenance, an idea could be to have the possibility for an informed user to send its configuration to directly overwrite the `.ini` file. - For the export : - The binning option should be checked since the user changes the input. +