Re: qr_mumps rename

Antonio Trande <[email protected]> writes:

> Hi all.
>
> I wish to rename 'qr_mumps' to 'qrmumps',


Why?
_______________________________________________
devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to