mirror of
https://github.com/python/cpython.git
synced 2026-05-19 10:54:30 -04:00
634fc574e1
This replaces the tilde character with the string ";SPMtilde;", which LaTeX2HTML converts to a tilde on output.