Antonio Trande <anto.trande(a)gmail.com> writes:
On 12/05/2016 12:45 PM, Dave Love wrote:
> Antonio Trande <anto.trande(a)gmail.com> writes:
>
>> Hi all.
>>
>> I wish to rename 'qr_mumps' to 'qrmumps',
>
> Why?
> _______________________________________________
After our discussion about 'underscore' issue and according to
suggestions of the guidelines.
Which at least some people say is wrong.
Names are important and changing them on a whim isn't helpful; Roger
Needham devoted at least one lecture to the topic.