back to the old header names for gtkosxapplication.h
[xboard.git] / gtk / .dirstamp