switch the docu system from foswiki to sphinx.

This commit is contained in:
2018-07-03 18:50:09 +02:00
parent e4d4f82e8c
commit 256794e02d
370 changed files with 33743 additions and 8051 deletions

1
doc/html/searchindex.js Normal file

File diff suppressed because one or more lines are too long