13 Commits (0f65e1bd4480ac21cb4cfab32a06d6e9758761f2)

Author SHA1 Message Date
  Christian Wiese 0e55e048d5 prelude-manager: Updated (0.9.14 -> 1.0.0) 14 years ago
  Christian Wiese de51a7f12d prelude-manager: Updated (0.9.12.1 -> 0.9.14) 16 years ago
  Christian Wiese 42ae1dee9f [prelude-manager] Updated (0.9.11.2 -> 0.9.12.1) 16 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) 17 years ago
  Christian Wiese 81ede771e6 * fixed prelude-manager license tag and some typos, improved description 17 years ago
  Christian Wiese cd8fc463cb * updated prelude-manager (0.9.8 -> 0.9.9) 17 years ago
  Christian Wiese 3706e2641b * updated prelude-manager (0.9.7.2 -> 0.9.8) 17 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