diff options
| author | Maria Matejka <mq@ucw.cz> | 2023-03-09 16:32:20 +0100 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2023-04-04 17:00:58 +0200 |
| commit | 958bb84f772ba098d67d70bcbbdb9b700f17abb7 (patch) | |
| tree | 85088dff15c6c1754f9978702b2c9e835828fc27 /nest | |
| parent | 6899ba2232f232e44c4e45d06036409f173fbe23 (diff) | |
Temporarily switching off time annotations of debug log
The "dump *" commands are totally garbled by the time annotations.
Diffstat (limited to 'nest')
0 files changed, 0 insertions, 0 deletions