Text between: Difference between revisions
Content added Content deleted
m (Corrected a comment.) |
|||
Line 1,884: | Line 1,884: | ||
proc quote(s: string): string = |
proc quote(s: string): string = |
||
## Return a quoted string, i.e with |
## Return a quoted string, i.e with escaped chars but |
||
## |
## keeping unchanged characters between \128 and \255. |
||
result.addQuoted(s) |
result.addQuoted(s) |
||