diff options
| author | sternenseemann <sternenseemann@systemli.org> | 2021-09-24 19:40:12 +0200 |
|---|---|---|
| committer | sterni <sternenseemann@systemli.org> | 2021-11-22 23:39:42 +0100 |
| commit | 55c7dfade090887ad5b8ea9004c08159d2dfd9a9 (patch) | |
| tree | 3f83c5ceec2582401b72e362af144b6e7d69f850 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | daa8c59404ba38fef684996e1cc98f5e5a634780 (diff) | |
nixos/documentation: index devman by default if enabled
It's quite ridiculous that we currently require manual intervention just
to have devman indexed if dev.enable == true.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions