Commit History

Author SHA1 Message Date
  Simon Archipoff f01e362c0a merge trunk up to 9949 12 years ago
  Simon Archipoff 54e5c784a4 revert r9947 12 years ago
  Samuel Thibault b0ee9065aa rename super-configure into mic-configure 12 years ago