12 Commits (946bc2b291772ee9305add85b1a79adbd928517f)

Author SHA1 Message Date
Christian Wiese 0e55e048d5 prelude-manager: Updated (0.9.14 -> 1.0.0) 15 years ago
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 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