Dotty

Permet de modifier les fichiers .dot, c'est très succint !

Bug, sous Ubuntu

https://bugs.launchpad.net/ubuntu/+source/graphviz/+bug/1016777/comments/10

sudo apt-get install xfonts-100dpi