4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.7 $ |
* @version $Revision: 1.8 $ |
* |
* Last modification: $Date: 2003/07/16 18:19:05 $ |
* $Id: DTDExtensionFilter.java,v 1.7 2003/07/16 18:19:05 smcsporr Exp $ |
* Last modification: $Date: 2003/07/21 17:31:31 $ |
* $Id: DTDExtensionFilter.java,v 1.8 2003/07/21 17:31:31 smcsporr Exp $ |
*/ |
|
package src.control; |
22,10 → 22,11 |
* |
* @author S. McSporran |
* |
* @version $Revision: 1.7 $ Last modification: $Date: 2003/07/16 18:19:05 $ |
* @version $Revision: 1.8 $ Last modification: $Date: 2003/07/21 17:31:31 $ |
*/ |
public class DTDExtensionFilter extends javax.swing.filechooser.FileFilter { |
|
/* Create an object capable of extracting a file's extension. */ |
ExtExtractor extractor = new ExtExtractor(); |
|
/** |