Skip to content
This repository has been archived by the owner on Jul 16, 2024. It is now read-only.

Fix deployment of GitHub pages #376

Merged
merged 2 commits into from
Nov 17, 2023

rename generated docs to docs

e832ee4
Select commit
Loading
Failed to load commit list.
Merged

Fix deployment of GitHub pages #376

rename generated docs to docs
e832ee4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar