| 3,7 → 3,7 |
|---|
| * software practice |
| * ss_2003 |
| * group project: XML-Editor |
| * $Id: PluginManagerInterface.java,v 1.4 2003/07/14 10:02:48 swalkenh Exp $ |
| * $Id: PluginManagerInterface.java,v 1.5 2003/07/15 10:28:48 swalkenh Exp $ |
| */ |
| |
| ///* |
| 12,9 → 12,9 |
|---|
| // * Coded by: Group 5, software practice summer 2003 |
| // * University of Bielefeld, Germany |
| // * |
| // * @version $Revision: 1.4 $ |
| // * @version $Revision: 1.5 $ |
| // * |
| // * Last modification: $Date: 2003/07/14 10:02:48 $ |
| // * Last modification: $Date: 2003/07/15 10:28:48 $ |
| // */ |
| |
| package src.plugins; |
| 31,7 → 31,7 |
|---|
| * |
| * @author Sascha Walkenhorst |
| * |
| * Last Revision: 13-Jul-2003 |
| * @version $Revision: 1.59 $ Last modification: $Date: 2003/07/15 19:22:36 $ |
| */ |
| public interface PluginManagerInterface { |
| |