Merge branch 'encyclopedia' into 'v0.8.0'
Merging newest encyclopedia version See merge request !104
docs/setup.rst
0 → 100644
File moved
On Thursday, 2nd February from 9 to 10.00 am there will be a maintenance with a short downtime of the GitLab service.
Merging newest encyclopedia version See merge request !104