Author: lescuyer Date: 2005-07-07 12:51:35 -0400 (Thu, 07 Jul 2005) New Revision: 82 Modified: trunk/src/files.ml trunk/src/files.mli trunk/src/globals.ml trunk/src/stasher.ml trunk/src/uicommon.ml Log: Ignoring automatically temporary merge files