Author: ben Date: 2006-03-29 07:49:37 -0500 (Wed, 29 Mar 2006) New Revision: 124 Modified: trunk/src/RECENTNEWS trunk/src/files.ml trunk/src/mkProjectInfo.ml Log: Jerome's fix for calling diff on the Mac, which would previously fail when interrupted.