1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 12:52:44 +01:00
Commit Graph

5 Commits

Author SHA1 Message Date
Karl Fessel
5e757b1a9c doc/search: Patch search to display results bigger if hitting return 2020-07-03 23:40:00 +02:00
Karl Fessel
f09064c40c doc/header: make hitting return not reload the page
adding onsubmit="return false" stops form submition which leads to reload
2020-07-01 12:58:05 +02:00
Martine Lenders
b092179787
doc: utilize smartmenus 2017-04-25 09:35:50 +02:00
Martine Lenders
75eef79c9e doc: add favicon 2017-04-14 03:00:47 +02:00
Martine Lenders
8ea20ea505 doc: Doxygen beautification 2017-04-13 16:41:52 +02:00