update sphinx to a later version

This commit is contained in:
Noémi Ványi 2017-07-09 21:59:33 +02:00
parent b92631bf8c
commit c9097be34a

Diff content is not available