Subversion Repositories general

Compare Revisions

Ignore whitespace Rev 695 → Rev 725

/sun/xmleditor/trunk/src/control/GrammarExtensionFilter.java
4,9 → 4,9
* Coded by: Group 5, software practice summer 2003
* University of Bielefeld, Germany
*
* @version $Revision: 1.12 $
* @version $Revision: 1.13 $
*
* Last modification: $Date: 2003/07/21 17:59:45 $
* Last modification: $Date: 2003/07/21 18:19:24 $
*/
 
package src.control;
21,10 → 21,11
*
* @author S. McSporran
*
* @version $Revision: 1.12 $ Last modification: $Date: 2003/07/21 17:59:45 $
* @version $Revision: 1.13 $ Last modification: $Date: 2003/07/21 18:19:24 $
*/
public class GrammarExtensionFilter extends javax.swing.filechooser.FileFilter {
/* Create an object capable of extracting a file's extension. */
ExtExtractor extractor = new ExtExtractor();
 
/**