diff -r 6787754b251b -r b6572d0336c3 doc/doxygen/latex/timers__win32_8cpp_8758484f3cebb0cd44bb247c3f23d5e3_cgraph.dot
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/doxygen/latex/timers__win32_8cpp_8758484f3cebb0cd44bb247c3f23d5e3_cgraph.dot	Mon Jun 04 17:59:50 2007 +0200
@@ -0,0 +1,13 @@
+digraph G
+{
+  edge [fontname="FreeSans.ttf",fontsize=10,labelfontname="FreeSans.ttf",labelfontsize=10];
+  node [fontname="FreeSans.ttf",fontsize=10,shape=record];
+  rankdir=LR;
+  Node1 [label="StopTimerLoop",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
+  Node1 -> Node2 [color="midnightblue",fontsize=10,style="solid"];
+  Node2 [label="EnterMutex",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timers__unix_8c.html#d7fee43b8a44cf8b7036853593044037"];
+  Node1 -> Node3 [color="midnightblue",fontsize=10,style="solid"];
+  Node3 [label="LeaveMutex",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$timers__unix_8c.html#73d9a4eb941fb20cf6b597840510394b"];
+  Node1 -> Node4 [color="midnightblue",fontsize=10,style="solid"];
+  Node4 [label="class_timers::stop_timer_thread",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$classclass__timers.html#a78d9f5ab159ec6b11b4dc4c8f351697"];
+}