diff options
Diffstat (limited to 'ocamldoc/odoc_latex.ml')
| -rw-r--r-- | ocamldoc/odoc_latex.ml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/ocamldoc/odoc_latex.ml b/ocamldoc/odoc_latex.ml index 292d3d4ae8..0a0470abbd 100644 --- a/ocamldoc/odoc_latex.ml +++ b/ocamldoc/odoc_latex.ml @@ -109,19 +109,6 @@ class text = "}", "\\\\}"; "\\$", "\\\\$"; "\\^", "{\\\\textasciicircum}"; - "\xE0", "\\\\`a"; - "\xE2", "\\\\^a"; - "\xE9", "\\\\'e"; - "\xE8", "\\\\`e"; - "\xEA", "\\\\^e"; - "\xEB", "\\\\\"e"; - "\xE7", "\\\\c{c}"; - "\xF4", "\\\\^o"; - "\xF6", "\\\\\"o"; - "\xEE", "\\\\^i"; - "\xEF", "\\\\\"i"; - "\xF9", "\\\\`u"; - "\xFB", "\\\\^u"; "%", "\\\\%"; "_", "\\\\_"; "~", "\\\\~{}"; |