Use the ReadTheDocs theme as the default Sphinx theme#9972
Merged
javiereguiluz merged 1 commit intosymfony:2.8from Jun 28, 2018
Merged
Use the ReadTheDocs theme as the default Sphinx theme#9972javiereguiluz merged 1 commit intosymfony:2.8from
javiereguiluz merged 1 commit intosymfony:2.8from