gnu: python-sphinxcontrib-devhelp: Update to 1.0.2.
authorTobias Geerinckx-Rice <me@tobias.gr>
Sat, 7 Mar 2020 14:35:27 +0000 (15:35 +0100)
committerTobias Geerinckx-Rice <me@tobias.gr>
Mon, 9 Mar 2020 15:01:19 +0000 (16:01 +0100)
commitccac5118f7ce844e90798c23da2e1a0da696cc52
treef0e3f26981b8ae10ddac44083bc560e47054dd0e
parentf49b8c14fb08ef9e471a90ca624147858ff66d49
gnu: python-sphinxcontrib-devhelp: Update to 1.0.2.

* gnu/packages/sphinx.scm (python-sphinxcontrib-devhelp): Update to 1.0.2.
gnu/packages/sphinx.scm