diff options
| author | Chris Johns <chrisj@rtems.org> | 2016-07-04 12:30:34 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2016-07-04 12:30:34 +1000 |
| commit | f92357f36e61ed8be5d383d125915ed322e35ac8 (patch) | |
| tree | 950415ee09f8dbb6ae34c7d2f00612dd2e1bce71 /user/conf.py | |
| parent | Reorganisse the User Manual to make it easier to navigate. (diff) | |
| download | rtems-docs-f92357f36e61ed8be5d383d125915ed322e35ac8.tar.bz2 | |
Make the Warning colours match the theme.
Diffstat (limited to 'user/conf.py')
0 files changed, 0 insertions, 0 deletions