From 0932d07bf7d49262453093231b8a6411e494adde Mon Sep 17 00:00:00 2001 From: Markus Zolliker Date: Mon, 17 Mar 2025 13:33:32 +0100 Subject: [PATCH] another push test --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index 2e4820b..f374851 100644 --- a/README.md +++ b/README.md @@ -170,4 +170,3 @@ 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. -