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