Merge pull request #102 from remicollet/issue-oldsphinx
authorMichael Wallner <mike@php.net>
Fri, 25 Dec 2020 10:58:44 +0000 (11:58 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Dec 2020 10:58:44 +0000 (11:58 +0100)
commitc517ea843a0a97a17fb695dde2d27d739d51ffe2
tree6e1d1f97d0fa23f92b01745b517db00efc1c9a36
parent6ca93394f4d9913e8324910c5a1353e5b9adf7a6
parenta5275a0698ae71674ba53706716c20cd2c886cea
Merge pull request #102 from remicollet/issue-oldsphinx

fix doc build with old sphinx