diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-09-12 23:00:22 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-09-13 00:44:57 +0200 |
| commit | bcb22b3624e677231b50029fea63e3b6e4978b2d (patch) | |
| tree | a532593999d68e935ef50fd1c823768479f9ade5 /gnu/services.scm | |
| parent | 5ea654cfe030165efadf1f1dcfb2adef66a1f44f (diff) | |
| download | patches-bcb22b3624e677231b50029fea63e3b6e4978b2d.tar patches-bcb22b3624e677231b50029fea63e3b6e4978b2d.tar.gz | |
gnu: Add python-sphinx-copybutton.
* gnu/packages/sphinx.scm (python-sphinx-copybutton): New variable.
Diffstat (limited to 'gnu/services.scm')
0 files changed, 0 insertions, 0 deletions