This repository was archived by the owner on Apr 8, 2025. It is now read-only.

Deprecate the custom RTD builders (except local media)#88

Merged

ericholscher merged 5 commits intomasterfrom

davidfischer/remove-custom-builders

Jun 16, 2020

Commits on May 27, 2020

Remove the custom RTD builders
davidfischer
committed

Commits on May 28, 2020

Re-add the builders as deprecated
davidfischer
committed

Commits on Jun 2, 2020

Merge branch 'master' into davidfischer/remove-custom-builders
davidfischer
committed

Commits on Jun 16, 2020