--- a/lib/browser/GraphBrowser/TreeNode.java Wed May 07 17:40:48 2003 +0200
+++ b/lib/browser/GraphBrowser/TreeNode.java Wed May 07 17:41:23 2003 +0200
@@ -13,23 +13,6 @@
import java.awt.*;
import java.util.*;
-class Directory {
- TreeNode node;
- String name;
- Vector collapsed;
-
- public Directory(TreeNode nd,String n,Vector col) {
- collapsed=col;
- name=n;
- node=nd;
- }
-
- public TreeNode getNode() { return node; }
-
- public String getName() { return name; }
-
- public Vector getCollapsed() { return collapsed; }
-}
public class TreeNode
{