Antonio Trande <anto.trande@xxxxxxxxx> writes: > Hi all. > > I wish to rename 'qr_mumps' to 'qrmumps', Why? _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx