Antonio Trande <anto.tra...@gmail.com> writes: > On 12/05/2016 12:45 PM, Dave Love wrote: >> Antonio Trande <anto.tra...@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. _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org
