diff options
| author | John MacFarlane <[email protected]> | 2022-09-12 10:20:22 +0200 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-09-12 10:20:22 +0200 |
| commit | c7915208abc2f62dc8caa1fc77ceb940e4b75fcc (patch) | |
| tree | c3e54cdddf9153dd934941fa3463ff614877e8ff /src | |
| parent | d327f2a85bdbebc5803c143b85fb4f92cc2e6818 (diff) | |
Depend on dev texmath.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions