Use mike
to serve multiple versions of the choreo.autos docs
#1035
Labels
component: documentation
Improvements or additions to documentation
https://github.com/jimporter/mike
The text was updated successfully, but these errors were encountered: