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.

Miro Hrončok 9f6116efec Enable annotated build again ... This reverts commit e68ef73d30.		7 years ago
.gitignore	update to 0.2.1	7 years ago
ghc-doctemplates.spec	Enable annotated build again	7 years ago
sources	update to 0.2.1	7 years ago