Commit 6145027f authored by Simon Marlow's avatar Simon Marlow

convert to UTF-8 (#4137)

parent d4def02e
......@@ -112,9 +112,9 @@ find_trms p f tm
{-
(******************************************************************************)
(* *)
(* » ù » æ *)
(* --------- conj *)
(* *)
(* » ù ³ æ *)
(******************************************************************************)
-}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment