Author: ben Date: 2006-04-19 01:43:06 -0400 (Wed, 19 Apr 2006) New Revision: 154 Modified: trunk/src/RECENTNEWS trunk/src/common.ml trunk/src/mkProjectInfo.ml Log: Enable diff if file contents have changed in one replica, but only properties in the other (all platforms)