Commit b96690dd authored by André Anjos's avatar André Anjos 💬

Merge branch 'simple-sphinx' into 'master'

Optimize default server to master sphinx-builds are simpler

See merge request !50
parents f926ea2e 5432759a
Pipeline #11088 passed with stages
in 15 minutes and 14 seconds