diff options
| author | Peter Hutterer <peter.hutterer@who-t.net> | 2017-06-13 12:32:43 +1000 |
|---|---|---|
| committer | Peter Hutterer <peter.hutterer@who-t.net> | 2017-06-13 12:32:43 +1000 |
| commit | 2c9de57667a6f9c1d93488de2580f87b09073372 (patch) | |
| tree | a8d633b5d8d2dbb2a1b46fc77cd3933b772a5622 /tools | |
| parent | bb5db8dbcaad7d0bf125fe548fc7a486e69e67c3 (diff) | |
doc: use the same formatting for the gcc command as for everything else
Without the @code tag, the font size differs to everything else in this file
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions