"Horst H. von Brand" <vonbrand at inf.utfsm.cl> writes: > [...] > Please go with (3), keeping generated files in git is just dumb. Please don't demean those who do it for well-considered reasons. - FChE