Details
-
Bug
-
Resolution: Invalid
-
Medium
Description
I tried to use '' in a semiverbatim environment, but it ended up as a " (closing double quote) instead.
I tried to use '' in a semiverbatim environment, but it ended up as a " (closing double quote) instead.