12 Commits (8cd4027d0909a2c58cc185e3d8f5f77cd8a1a366)

Author SHA1 Message Date
Christian Wiese de51a7f12d prelude-manager: Updated (0.9.12.1 -> 0.9.14) 17 years ago
Christian Wiese 42ae1dee9f [prelude-manager] Updated (0.9.11.2 -> 0.9.12.1) 17 years ago
Christian Wiese bb7fe00bdb Updated prelude-manager (0.9.10 -> 0.9.11.2) 17 years ago
Alejandro Mery d8cf15a66c Regenerated copyright notes broadly, without renewing them. 17 years ago
Alejandro Mery d15769f41d Removed trailing spaces massively, hoping to not break anything. Copyright notes not renewed 17 years ago
Christian Wiese ac70a33f21 Updated prelude-manager (0.9.9.1 -> 0.9.10) 17 years ago
Christian Wiese 88a7e147ce Updated prelude-manager (0.9.9 -> 0.9.9.1) 18 years ago
Christian Wiese 81ede771e6 * fixed prelude-manager license tag and some typos, improved description 18 years ago
Christian Wiese cd8fc463cb * updated prelude-manager (0.9.8 -> 0.9.9) 18 years ago
Christian Wiese 3706e2641b * updated prelude-manager (0.9.7.2 -> 0.9.8) 18 years ago
Christian Wiese f94386e041 * updated prelude-manager (0.9.7.1 -> 0.9.7.2) 18 years ago
Alejandro Mery 12b79fecfa * relocated current package database to the trunk of the package sub-project 18 years ago