diff options
| author | jvoisin | 2020-11-18 20:13:12 +0100 |
|---|---|---|
| committer | jvoisin | 2020-11-18 20:14:27 +0100 |
| commit | e134c87a9a7850d1db30cfe10eb0f521b27953a5 (patch) | |
| tree | 0b00105b0d40db94cc8fe984635e8393d2133e01 /doc | |
| parent | 3c3048032fb0a79d04765d2b4f064f012208ced8 (diff) | |
Make the strict mode disableable
The global strict mode was enabled by default without
any means to disable it, in certain cases.
Bug reported by wedi.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions