--- a/lib/filesystem/menu.py	Sat Feb 07 17:07:06 2009 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-"""
-    Handling the list of available pages
-"""
-
-class Menu (object) :
-    """
-        Contains info needed to render the menu
-    """
-
-    def __init__ (self, fs, page) :
-        """
-            Gather the menu information for the given page, as part of the given FilesystemMapper
-        """
-
-        # the selected page
-        self.page = fs.tree.get_page(page.url)
-
-        # the selected pagen's inheritance
-        self.ancestry = self.page.get_ancestry() if self.page else []
-        
-        # list of menu items == root children, since we always show the full menu...
-        self.items = fs.tree.root.children
-