log

age author description
Mon, 23 Nov 2020 12:04:59 +0100 Alain Mazy merge
Mon, 23 Nov 2020 12:04:42 +0100 Alain Mazy fix for 'logs are not stored in log files anymore after a /tools/reset'
Sat, 21 Nov 2020 10:49:54 +0100 Sebastien Jodogne explanation in configuration file