another push test

This commit is contained in:
2025-03-17 13:33:32 +01:00
parent 4691dbcf0f
commit b036456517

View File

@ -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 `<instrument>.ini` file.
- For the export :
- The binning option should be checked since the user changes the input.