diff -r cd72eae05bdf -r 3c00344f49c9 doc/images/graph_to_eps.png Binary file doc/images/graph_to_eps.png has changed