PatR 4eadab380a Guidebook.tex bit ...

Backslash doesn't need to be escaped by backslash inside a verbatim
block (presumably the first character is an exception).  The doubled
backslashes in SOUNDDIR example were producing doubled backslashes in
the output.

There didn't seem to be any other instances of this.

2023-07-14 14:15:11 -07:00

267 KiB

Raw Blame History

View Raw