| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.64 $ |
| * @version $Revision: 1.65 $ |
| * |
| * Last modification: $Date: 2003/07/26 11:51:45 $ |
| * $Id: PluginManager.java,v 1.64 2003/07/26 11:51:45 swalkenh Exp $ |
| * Last modification: $Date: 2003/07/28 12:27:33 $ |
| * $Id: PluginManager.java,v 1.65 2003/07/28 12:27:33 swalkenh Exp $ |
| */ |
| |
| package src.plugins; |
| 67,7 → 67,7 |
|---|
| * |
| * @author Sascha Walkenhorst |
| * |
| * @version $Revision: 1.64 $ Last modification: $Date: 2003/07/26 11:51:45 $ |
| * @version $Revision: 1.65 $ Last modification: $Date: 2003/07/28 12:27:33 $ |
| */ |
| public class PluginManager implements TreeSelectionListener, |
| PluginManagerInterface, |
| 1411,4 → 1411,13 |
|---|
| } |
| } |
| |
| |
| /* (non-Javadoc) |
| * @see src.plugins.PluginManagerInterface#forcePluginReport() |
| */ |
| public void forcePluginReport() { |
| // TODO Auto-generated method stub |
| |
| } |
| |
| } |