| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.3 $ |
| * @version $Revision: 1.4 $ |
| * |
| * Last modification: $Date: 2003/07/14 10:58:08 $ |
| * $Id: DTDExtensionFilter.java,v 1.3 2003/07/14 10:58:08 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/15 17:09:22 $ |
| * $Id: DTDExtensionFilter.java,v 1.4 2003/07/15 17:09:22 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 19,6 → 19,8 |
|---|
| * accept file names with the extension *.dtd or *.DTD. |
| * |
| * @author S. McSporran |
| * |
| * @version 1.4, last revision: 15-Jul-2003 |
| */ |
| public class DTDExtensionFilter extends javax.swing.filechooser.FileFilter { |
| |