Tue Mar 28 10:16:39 WEST 2006 Miguel Vilaca <jmvilaca@di.uminho.pt>
* Removes unnecessary features.
{
hunk ./src/ContextMenu.hs 27
+{-
hunk ./src/ContextMenu.hs 32
+-}
hunk ./src/ContextMenu.hs 60
+{-
hunk ./src/ContextMenu.hs 65
+-}
hunk ./src/ContextMenu.hs 113
+{-
hunk ./src/ContextMenu.hs 118
+-}
hunk ./src/DisplayOptions.hs 13
-standard = DP [EdgeLabel]
+standard = DP []
hunk ./src/NetworkUI.hs 293
+{-
hunk ./src/NetworkUI.hs 299
+-}
hunk ./src/NetworkUI.hs 311
+{-
hunk ./src/NetworkUI.hs 319
+-}
hunk ./src/NetworkUI.hs 327
+{-
hunk ./src/NetworkUI.hs 335
+-}
}