You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1 line
56 B
1 line
56 B
15 years ago
|
removed for f13: utf8-string is part of ghc since 6.10.3
|