Hi Jochen, Jochen Wiedmann <[email protected]> schrieb am Do., 18. Aug. 2016 um 09:06 Uhr:
> On Tue, Aug 16, 2016 at 9:10 PM, Benedikt Ritter <[email protected]> > wrote: > > > I personally think this kind of ignores belong into your global > .gitignore > > file. But that's just me :-) > > AFAIK, it doesn't hurt, if they are present in both, does it? > No, it doesn't hurt. That's why I would never veto such a change, but I wouldn't introduce it myself either. It's just personal taste. Benedikt > > Jochen > > > -- > The next time you hear: "Don't reinvent the wheel!" > > > http://www.keystonedevelopment.co.uk/wp-content/uploads/2014/10/evolution-of-the-wheel-300x85.jpg > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
