diff -r a01947bc9ab6 -r e60c68f33e4f documentation/graphs/fsm_eoe.dot --- a/documentation/graphs/fsm_eoe.dot Fri Feb 08 20:00:16 2013 +0100 +++ b/documentation/graphs/fsm_eoe.dot Fri Feb 08 20:01:06 2013 +0100 @@ -1,7 +1,7 @@ /* $Id$ */ -digraph sii { +digraph eoe { node [fontname="Helvetica"] edge [fontname="Helvetica",fontsize=12]