diff options
| author | Joel Sherrill <joel@rtems.org> | 2019-02-13 16:16:38 -0600 |
|---|---|---|
| committer | Joel Sherrill <joel@rtems.org> | 2019-02-13 16:16:38 -0600 |
| commit | 603731cda8a32de7a4186cc7ca3bd1fdd115913f (patch) | |
| tree | 9a88e5c3ede80f8f1998378070b3b30925152587 /develenv | |
| parent | 30b5468afdc520f1638efe8f72cb040bb45e5f60 (diff) | |
common/latex.py: Remove hack for CentOS. Use Texlive per instructions.
Diffstat (limited to 'develenv')
0 files changed, 0 insertions, 0 deletions