diff options
author | Chris Johns <chrisj@rtems.org> | 2018-08-21 13:55:03 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2018-08-21 13:55:03 +1000 |
commit | 471c5e380f856b1151e87fb61028a4448793e983 (patch) | |
tree | 3d57ec2d3147e195f7c14a417181bcc44e27acde /common/waf.py | |
parent | 5ce8e43506184bd9d8bf072c3f50ad0378f81ee7 (diff) |
pdf: Revert the changes to the Latex index formatting.
I removed the '_' splitting of long labels from the index when testing
and this puts it back.
Diffstat (limited to 'common/waf.py')
0 files changed, 0 insertions, 0 deletions