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.
Go to file
Jens Petersen c982273e39
update to 1.2.0.10
7 years ago
.gitignore update to 1.2.0.10 7 years ago
ghc-case-insensitive.spec update to 1.2.0.10 7 years ago
sources update to 1.2.0.10 7 years ago