diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-07-12 16:36:54 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-07-12 16:36:54 +0200 |
| commit | 9275d3e7ce232528131e724829d0bca4a858b848 (patch) | |
| tree | 99524d65355db2610346da6f31677f3e67f57f77 /doc | |
| parent | 519e7d67e891028ccee3d335195d2cc56ebb2f4a (diff) | |
Document developer options in configure help
Make sure that users or package maintainers don't accidentally enable
developer options designed to be run by developers only.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions