// FileFilter.java
// $Id: FileFilter.java,v 1.2 1997/07/30 13:59:03 ylafon Exp $  
// (c) COPYRIGHT MIT and INRIA, 1997.
// Please first read the full copyright statement in file COPYRIGHT.html

package w3c.cvs;

import java.io.*;

class FileFilter implements FilenameFilter {
    
    public boolean accept(File dir, String name) {
	boolean reject = (name.startsWith(".")
			  || name.endsWith("~")
			  || (new File(dir, name)).isDirectory());
	return ! reject;
    }
}
