Augustin Cavalier 63cb446249 docs/user: Remove extra comment opener. ...

It made the second one show up in the documentation.

2018-08-15 14:09:07 -04:00

..

add-ons

…

apps

…

develop

boot/platform/cfe: Remove, unused.

2018-08-11 20:21:12 -04:00

interface_guidelines

Revert "Switch default fixed font from NotoMono to NotoSansMono"

2018-08-02 14:19:33 +02:00

misc

makefile-engine.html: Does not belong in docs/develop.

2018-01-10 16:12:15 -05:00

user

docs/user: Remove extra comment opener.

2018-08-15 14:09:07 -04:00

userguide

Remove Fonts chapter from user guide

2018-07-16 16:48:09 +02:00

welcome

…