nico@207: digraph G
nico@207: {
nico@207:   edge [fontname="FreeSans.ttf",fontsize=10,labelfontname="FreeSans.ttf",labelfontsize=10];
nico@207:   node [fontname="FreeSans.ttf",fontsize=10,shape=record];
nico@207:   rankdir=LR;
nico@207:   Node1 [label="class_timers::~class_timers",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
nico@207:   Node1 -> Node2 [color="midnightblue",fontsize=10,style="solid",fontname="FreeSans.ttf"];
nico@207:   Node2 [label="class_timers::stop_timer_thread",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classclass__timers.html#a78d9f5ab159ec6b11b4dc4c8f351697"];
nico@207: }