diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-07-12 16:23:55 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-07-12 16:26:32 +0200 |
| commit | 519e7d67e891028ccee3d335195d2cc56ebb2f4a (patch) | |
| tree | bb61491625df7425d167ffd413572b9e5fa55b88 /dw/regardingborder.hh | |
| parent | b782b01c290fbc4f67e0030cb534f8238383329f (diff) | |
Separate developer options in configure summary
Those options are not designed to be used by users or package
maintainers, so let's make it more clear by moving them in another
group.
Diffstat (limited to 'dw/regardingborder.hh')
0 files changed, 0 insertions, 0 deletions