Package: graphviz Version: all The package doesn't add the entry for `dotty' to the menu(3). Dotty is a visual graph editor included with graphviz.
Thanks. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
