Renamed docs folder for ReadTheDocs compatibility

This commit is contained in:
Mark van Renswoude 2020-09-13 23:04:36 +02:00
parent 66943d975f
commit 8c25fa790b
10 changed files with 1 additions and 1 deletions