Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The idea was that this contains snapshots of the documentation from what is currently under development. As it seems, this was simply never really updated, so unless we can somehow manage to integrate this into CI (and have some kind of nightly documentation build), it just makes no sense. Resolves issue #1481
- Loading branch information