diff options
| author | Naïm Favier <n@monade.li> | 2023-05-06 16:50:08 +0200 |
|---|---|---|
| committer | Naïm Favier <n@monade.li> | 2023-05-06 17:09:10 +0200 |
| commit | 7cd5b9a6e8c3e4e423d7d10533cc2f1e98a4eca8 (patch) | |
| tree | 0226734bea186223434e457b60d9be7d4ac84860 /pkgs/development/python-modules/rangehttpserver | |
| parent | 276f75e5fff8a0ffe15f8c45f5798625fcc20e6e (diff) | |
lib/options: fix rendering of options with only a defaultText
Some options have their default value set in the `config` instead of
`default`, for example to push `mkDefault`s down an attribute set.
In those cases, it's useful to provide a `defaultText` for informational
purposes.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions