David Lechnerandlaurensvalk 7abb670f66 doc/ide: hide footers ...

This information is duplicated in the IDE about dialog so we don't need
it in the docs.

2021-01-26 08:30:48 +01:00

..

footer.html

doc/ide: hide footers

2021-01-26 08:30:48 +01:00

layout.html

doc: move css overrides to template

2020-03-18 13:51:24 -05:00