diff options
author | Chris Johns <chrisj@rtems.org> | 2016-10-31 08:55:24 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-10-31 08:55:24 +1100 |
commit | bb923d032f026fa3401dbda9183a128bdb9a70cd (patch) | |
tree | 5c65922fa798ff94da10f7e87e07e0e4670aa1d6 /rtemsconfig | |
parent | Ignore waf files. (diff) | |
download | rtems-docs-bb923d032f026fa3401dbda9183a128bdb9a70cd.tar.bz2 |
rsb: Fix the tex name.
Diffstat (limited to 'rtemsconfig')
0 files changed, 0 insertions, 0 deletions