| 4,9 → 4,9 |
|---|
| * 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/13 15:28:22 $ |
| * Last modification: $Date: 2003/07/15 17:09:34 $ |
| */ |
| |
| package src.control; |
| 18,6 → 18,8 |
|---|
| * accept file names with the extension *.xsd, *.XSD, *.dtd or *.DTD. |
| * |
| * @author S. McSporran |
| * |
| * @version 1.8, last revision: 15-Jul-2003 |
| */ |
| public class GrammarExtensionFilter extends javax.swing.filechooser.FileFilter { |
| |