Skip to content
This repository was archived by the owner on Nov 22, 2024. It is now read-only.

fix: adding main index to docs#1354

Open
franciscolopezsancho wants to merge 1 commit intomainfrom
adding_main_index_to_docs
Open

fix: adding main index to docs#1354
franciscolopezsancho wants to merge 1 commit intomainfrom
adding_main_index_to_docs

Conversation

@franciscolopezsancho
Copy link
Contributor

So far we haven't updated the main index.html when publishing the docs. This fixes that.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant