1,22 → 1,15 |
/* This file contains only the PluginManagerInterface class. |
/* |
* This file contains the PluginManagerInterface interface. |
* |
* software practice |
* ss_2003 |
* group project: XML-Editor |
* $Id: PluginManagerInterface.java,v 1.5 2003/07/15 10:28:48 swalkenh Exp $ |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.6 $ |
* |
* Last modification: $Date: 2003/07/15 19:27:57 $ |
* $Id: $ |
*/ |
|
///* |
// * This file contains the PluginManagerInterface interface. |
// * |
// * Coded by: Group 5, software practice summer 2003 |
// * University of Bielefeld, Germany |
// * |
// * @version $Revision: 1.5 $ |
// * |
// * Last modification: $Date: 2003/07/15 10:28:48 $ |
// */ |
|
package src.plugins; |
|
import javax.swing.event.TreeSelectionListener; |
31,7 → 24,7 |
* |
* @author Sascha Walkenhorst |
* |
* @version $Revision: 1.59 $ Last modification: $Date: 2003/07/15 19:22:36 $ |
* @version $Revision: 1.6 $ Last modification: $Date: 2003/07/15 19:27:57 $ |
*/ |
public interface PluginManagerInterface { |
|