diff options
| author | John MacFarlane <[email protected]> | 2023-11-29 21:22:03 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-11-29 21:22:03 -0800 |
| commit | 80ea048bb26fdf50dbfe767d130054cf2dfc7d57 (patch) | |
| tree | 0e8f758443f4052213447a8dea0b95f1852f27e3 /.github/workflows | |
| parent | 2e8ecb3fba62723fe39599f9f0cb7f7a30a5ca19 (diff) | |
LaTeX reader: handle otherlanguage environment...
...and language-name environments like
`\begin{french}...\end{french}`.
Closes #9202.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions