Antonio Trande <[email protected]> writes: > On 12/05/2016 12:45 PM, Dave Love wrote: >> Antonio Trande <[email protected]> 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. _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
