aboutsummaryrefslogtreecommitdiff
path: root/docs/theme/extra/images
AgeCommit message (Collapse)AuthorFilesLines
2019-05-05Add white border to logo used on web pages. [skip ci]Jussi Pakkanen1-0/+0
2019-02-13New logo and license text. Closes #4921. [skip ci]Jussi Pakkanen2-0/+0
2017-04-26docs: Import the website and wiki and build with hotdocThibault Saunier2-0/+0
This allows us to more easily have the documentation in sync with the source code as people will have to document new features etc right at the time where they implement it.