diff options
| author | jvoisin | 2023-04-15 15:18:13 +0200 |
|---|---|---|
| committer | jvoisin | 2023-04-15 15:18:13 +0200 |
| commit | 8532f01c7f3c356fbb2dda593477d3902491de77 (patch) | |
| tree | fd5fc94b47683fe1ff77ce214bc9333e7f7e93e3 /src/sp_config_scanner.re | |
| parent | 62c3dd33f4e2edbdee89888f613f10cb961092ec (diff) | |
Document readonly_exec's `extended_checks` option
Diffstat (limited to 'src/sp_config_scanner.re')
0 files changed, 0 insertions, 0 deletions