Parent Directory | Revision Log | Patch
revision 1.16 by spiralvoice, Mon Jul 11 11:23:12 2005 UTC | revision 1.17 by spiralvoice, Sun Jul 17 16:06:25 2005 UTC | |
---|---|---|
# | Line 33 let html_escaped s = | Line 33 let html_escaped s = |
33 | | '>' -> Buffer.add_string b ">"; false | | '>' -> Buffer.add_string b ">"; false |
34 | | '&' -> Buffer.add_string b "&"; false | | '&' -> Buffer.add_string b "&"; false |
35 | | '"' -> Buffer.add_string b """; false | | '"' -> Buffer.add_string b """; false |
36 | | '\039' -> Buffer.add_string b "'"; false | |
37 | | '\\' -> true | | '\\' -> true |
38 | | _ -> Buffer.add_char b c; false | | _ -> Buffer.add_char b c; false |
39 | ) s | ) s |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |