Subversion Repositories general

Compare Revisions

Ignore whitespace Rev 687 → Rev 725

/sun/xmleditor/trunk/src/control/DTDExtensionFilter.java
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();
 
/**