move webpage in /docs/

For compatibility with github pages and easier new user experience.
This commit is contained in:
Johann Dreo 2020-05-14 17:52:37 +02:00
commit 2599df2270
23 changed files with 10 additions and 15 deletions

File diff suppressed because it is too large Load diff

After

Width:  |  Height:  |  Size: 108 KiB