The "%" character does not need to be escaped in verbatim environments.
This closes SF bug #517811.
1 file changed