On 2011-08-09, Ivan Maidanski wrote: > Hi Petter, > > I think it's a good idea to remove auto-generated files from the repo. I've already done it for libatomic_ops. I agree. I think the, IMHO great, advantage to developers out-weight the inconvenience to testers/very-early-adopters who check out the HEAD to try it out.