package gui.htmlconverter;

import java.io.File;
import java.io.FilenameFilter;

// Thanks to
// curry@IMPACT.xerox.com (Don Curry)
// for his simplifying suggestion here...

class CFilter2 implements FilenameFilter {
  public boolean accept(File dir, String name) {
    return name.endsWith(".c");
  }
}