K 10 svn:author V 3 ben K 8 svn:date V 27 2000-08-26T12:15:24.000000Z K 7 svn:log V 102 Make mergemaster ignore files in /dev if /dev is a devfs. Approved by: Doug Barton END