semiverbatim turns two single quotes into a double quote ligature

Issue #2403 invalid
jdgilbey created an issue

I tried to use '' in a semiverbatim environment, but it ended up as a " (closing double quote) instead.

Comments (2)

  1. jdgilbey reporter

    I'm unsure why this is invalid; the verbatim environment does not have this behaviour, and the Python code print("Hello", end='') is a perfectly reasonable thing to type in a verbatim environment.

  2. Log in to comment