--- parser3/operators.txt	2002/11/29 12:15:06	1.104
+++ parser3/operators.txt	2002/12/02 11:16:37	1.105
@@ -878,11 +878,6 @@ xdoc(xnode)
             url    time    
             url    time    
             url    time    
-    !$status:db hash
-        !cache hash db_home=>tables table
-            name    time    users
-            name    time    users
-            name    time    users
     !$status:stylesheet
         !cache table
             file    time