diff options
| author | John MacFarlane <[email protected]> | 2022-06-01 09:07:47 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-06-01 09:07:47 -0700 |
| commit | e8be78f91af78bef31438b65954d411dcb635fae (patch) | |
| tree | 4d53702cb54c69d859a1f8e0596412d5d73f1f68 /test/command | |
| parent | 4c2d03e96c0b4d54e264f1aa22415f2fc1ccd949 (diff) | |
Fix treatment of extensions for `\input` in LaTeX reader.
Previously we required a `.tex` extension, but TeX
allows any extension for `\input` (as opposed to `\include`).
Closes #8092.
Diffstat (limited to 'test/command')
0 files changed, 0 insertions, 0 deletions