diff options
author | 2018-04-24 11:59:51 +0200 | |
---|---|---|
committer | 2018-05-05 11:54:05 +0200 | |
commit | bcf5352cc7a26a672e719f7dad4021c69d723833 (patch) | |
tree | 192fd62df410a204cf2de00203c3b59de59e451f /Makefile | |
parent | a0e59c57de0900eaf515984bc8fed6866b52f986 (diff) |
[sphinx] Backport changes from #5979.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions