diff options
| author | Jan Malakhovski <oxij@oxij.org> | 2018-04-05 22:27:46 +0000 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2018-04-23 15:08:58 +0200 |
| commit | fbd4563b537ee083ffdc6964cf027e542a2ff249 (patch) | |
| tree | 2a3c8487061dd3101c1a500bf60fffcd5528e925 /pkgs/development/python-modules/python-sql | |
| parent | 483815a743e1cb1676ddef4cf5621f3216dbbaff (diff) | |
nixos: documentation: implement `documentation.dev.enable` option
I know that "devinfo" output does not currently exist, but so does "devman".
It is mentioned in the nixpkgs manual, but no derivation in nixpkgs actually uses it.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions