mirror of
https://github.com/AdaCore/cpython.git
synced 2026-02-12 12:57:15 -08:00
This replaces the tilde character with the string ";SPMtilde;", which LaTeX2HTML converts to a tilde on output.
1.8 KiB
1.8 KiB