Save programStartTime in settings file rather than save time
[xboard.git] / gtk / .dirstamp