diff -r 2cb34a4ac65a -r 6b5a4c21e061 doc/doxygen/html/timers__unix_8c_4cd19302f57b08fc0403a05017332735_cgraph.dot
--- a/doc/doxygen/html/timers__unix_8c_4cd19302f57b08fc0403a05017332735_cgraph.dot	Tue Jun 05 17:34:33 2007 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-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="timer_notify",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
-  Node1 -> Node2 [color="midnightblue",fontsize=10,style="solid",fontname="FreeSans.ttf"];
-  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",fontname="FreeSans.ttf"];
-  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",fontname="FreeSans.ttf"];
-  Node4 [label="TimeDispatch",height=0.2,width=0.4,color="red", fillcolor="white", style="filled",URL="$timer_8c.html#fa75192a3238525618f8cb83004930cc"];
-}