diff options
| author | Robert Hensing <robert@roberthensing.nl> | 2022-06-27 17:27:24 +0200 |
|---|---|---|
| committer | Robert Hensing <robert@roberthensing.nl> | 2022-06-27 17:41:32 +0200 |
| commit | aff2dbbc82c63fa8ad389aad5d78a2fc2461fc36 (patch) | |
| tree | 1a87f04b333920cd05c7f0f0b73c5519d504d8da /pkgs/development/python-modules/rangehttpserver | |
| parent | 4a8bc4fd079b0ea3adf610d2b5ab6a8ceb10d4ce (diff) | |
make-options-doc: Make variablelist id configurable
I've tried XInclude set-xml-id first, but our tooling did not pick up on it.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions