Ricardo Wurmus <ricardo.wur...@mdc-berlin.de> skribis: > From c8ba1aa7680f5d75c34177442c39507a49e8b2ae Mon Sep 17 00:00:00 2001 > From: Ricardo Wurmus <ricardo.wur...@mdc-berlin.de> > Date: Fri, 6 Feb 2015 11:34:00 +0100 > Subject: [PATCH] gnu: Add Sphinx RTD theme. > > * gnu/packages/python.scm (python-sphinx-rtd-theme, python2-sphinx-rtd-theme): > New variables.
LGTM, thanks. Ludo’.