aboutsummaryrefslogtreecommitdiff
path: root/docs/theme/extra/images
AgeCommit message (Expand)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