move index.html into docs/ #1

Merged marcwu merged 1 commit into marcwu:gb-pages from marcwu:master on 3 Aug 2023

marcwu commented on 3 Aug 2023

No description provided.

marcwu referenced the pull request on 3 Aug 2023

move index.html into docs/

marcwu merged commit 8914af3 into gb-pages from master on 3 Aug 2023

marcwu closed this pull request on 3 Aug 2023

Labels

Priority

default

Milestone

No milestone

Assignee

No one assigned

1 participant