move index.html into docs/ #1

Merged marcwu merged 1 commit into marcwu:gb-pages from marcwu:master on 3 Aug 2023
2023-07-24
@marcwu
move index.html into docs/
marcwu committed on 24 Jul 2023