On Fri, Nov 21, 2014 at 10:42 AM, Ilia Mirkin <imirkin at alum.mit.edu> wrote: > What about src/mesa/drivers/windows/gdi/mesa.def -- it claims to be > generated by mesadef.py. I have no idea what it is, but it should > either also be deleted, or the mesadef.py script kept around. Good point. Maybe Brian knows (Cc'd).