summaryrefslogtreecommitdiff
path: root/docs/theme/extra/images
AgeCommit message (Collapse)Author
2019-05-05Add white border to logo used on web pages. [skip ci]Jussi Pakkanen
2019-02-13New logo and license text. Closes #4921. [skip ci]Jussi Pakkanen
2017-04-26docs: Import the website and wiki and build with hotdocThibault Saunier
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.