summaryrefslogtreecommitdiff
path: root/linux
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2023-12-08 10:04:54 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2023-12-08 10:04:54 -0800
commit5cea5327901dfbff07f6e615f0908a82718c51b9 (patch)
tree9f031fddfd289442d586a41b42664904562b243a /linux
parent5bd301ef4589f30d0b18899a91df094aec74bf90 (diff)
Use dev texmath.
Diffstat (limited to 'linux')
0 files changed, 0 insertions, 0 deletions