diff options
| author | Prashanth Mundkur | 2019-01-16 15:15:40 -0800 |
|---|---|---|
| committer | Prashanth Mundkur | 2019-01-16 15:15:40 -0800 |
| commit | bb231219ff3d2d498d6f23f71ec1966dd58a304c (patch) | |
| tree | 1d847d1d44ad69fb40a552208968849e661452b0 /Makefile | |
| parent | a5e2b3b7411f630b6d2337402330e13862b5666a (diff) | |
Latex: handle underscores when generating latex names.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions