Replace '%%' with '%' inside verbatim.

(Logical change 1.240)
1 file changed