diff options
| author | Ben Fuhrmannek | 2022-04-19 19:01:52 +0200 |
|---|---|---|
| committer | jvoisin | 2022-07-12 22:50:28 +0200 |
| commit | cd9031935ef2306f7ba2097856b20bf116f341ee (patch) | |
| tree | be425fa8af11f41a2679ba9eae9f0a3e969d4da0 /doc/source/_static | |
| parent | 077e96b6319aaf26414d1d0eeb30eb4f144f0019 (diff) | |
extended checks for readonly_exec, enabled by default
introduced config options:
readonly_exec.extended_checks() or xchecks()
readonly_exec.no_extended_checks() or noxchecks()
Diffstat (limited to 'doc/source/_static')
0 files changed, 0 insertions, 0 deletions