| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.5 $ |
| * @version $Revision: 1.6 $ |
| * |
| * Last modification: $Date: 2003/07/13 15:28:17 $ |
| * $Id: PluginManager.java,v 1.19 2003/07/14 10:02:47 swalkenh Exp $ |
| * Last modification: $Date: 2003/07/14 10:57:57 $ |
| * $Id: ExtExtractor.java,v 1.6 2003/07/14 10:57:57 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 16,7 → 16,7 |
|---|
| |
| /** |
| * The <b><code>ExtensionFilter</code></b> class provides a method to get the |
| * extension of a file |
| * extension of a file. |
| * |
| * @author S. McSporran |
| */ |
| 39,7 → 39,7 |
|---|
| * |
| * author S. McSporran |
| * @param f: A representation of a file's name. |
| * @return The file's extension as String |
| * @return The file's extension as <code>String</code>. |
| * |
| * Last revision: 11-Jul-2003 |
| */ |