Parent Directory | Revision Log | Patch
revision 1.2 by spiralvoice, Mon Oct 31 18:34:02 2005 UTC | revision 1.3 by spiralvoice, Sat Nov 12 11:16:36 2005 UTC | |
---|---|---|
# | Line 813 let all_regions = | Line 813 let all_regions = |
813 | WesternEuropean; | WesternEuropean; |
814 | ] | ] |
815 | ||
816 | let default_codeset_list () = !enc_list | |
817 | ||
818 | (* names are utf8 encoded! *) | (* names are utf8 encoded! *) |
819 | ||
820 | open Options | open Options |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |