Antonio Trande <anto.trande@xxxxxxxxx> writes: > On 12/05/2016 12:45 PM, Dave Love wrote: >> Antonio Trande <anto.trande@xxxxxxxxx> 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 -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
