diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-05-12 23:32:16 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-05-24 21:54:31 +0200 |
| commit | 62ad0c8b0f4e67d28e78563a5f5694ffac6c20a2 (patch) | |
| tree | 2c799cc74232de61ecb7289d56ab7f16f62054e3 /gnu/ci.scm | |
| parent | bc2a3f7c62ca6e7b032c977eeda295a152350eef (diff) | |
| download | patches-62ad0c8b0f4e67d28e78563a5f5694ffac6c20a2.tar patches-62ad0c8b0f4e67d28e78563a5f5694ffac6c20a2.tar.gz | |
gnu: Add python-sphinxcontrib-devhelp.
* gnu/packages/sphinx.scm (python-sphinxcontrib-devhelp): New public variable.
Diffstat (limited to 'gnu/ci.scm')
0 files changed, 0 insertions, 0 deletions