Rename to docs folder for Github pages

This commit is contained in:
Thorsten Mueller 2020-11-16 17:28:20 +01:00
parent 7b27bdac2d
commit eaead5cebe
21 changed files with 0 additions and 0 deletions