Merge pull request #1 from marcwu/master
move index.html into docs/
commit 5d76941c4f063a6d1dbcc33291b48a2a93601e93
2 parents 9b73d5b + 8914af3
@Marcel Wuersch Marcel Wuersch authored on 3 Aug 2023
Showing 2 changed files
View
docs/index.html 0 → 100644
View
sources.json 0 → 100644