log

age author description
Mon, 10 May 2010 11:04:56 -0500 David Champion merge: introduce tool.check parameter
Wed, 21 Apr 2010 12:02:51 -0500 David Champion give worst-case 'merge' merge-tool lowest priority