diff options
| author | jvoisin | 2022-07-12 23:10:06 +0200 |
|---|---|---|
| committer | jvoisin | 2022-07-12 23:10:06 +0200 |
| commit | eaba9e0e7421fec0bc7a0cd8745dc3fb4e2e72f1 (patch) | |
| tree | 2e91d412326b527cc8d83871875f1457c50441f9 /debian/docs | |
| parent | 8d6496efcab420267a228c35f9f627fec209d031 (diff) | |
Document extended_checks for readonly_exec
Diffstat (limited to 'debian/docs')
0 files changed, 0 insertions, 0 deletions