1 files changed, 0 insertions, 55 deletions
diff --git a/libddekit/include/ddekit/.svn/text-base/timer.h.svn-base b/libddekit/include/ddekit/.svn/text-base/timer.h.svn-base
deleted file mode 100644
index c352475c..00000000
--- a/libddekit/include/ddekit/.svn/text-base/timer.h.svn-base
+++ /dev/null
@@ -1,55 +0,0 @@
-#ifndef _ddekit_timer_h
-#define _ddekit_timer_h
-
-#include <l4/dde/ddekit/thread.h>
-
-enum
-{
-	DDEKIT_INVALID_TIMER_ID = -1,
-};
-
-/** \defgroup DDEKit_timer 
- *
- * Timer subsystem
- *
- * DDEKit provides a generic timer implementation that enables users
- * to execute a function with some arguments after a certain period
- * of time. DDEKit therefore starts a timer thread that executes these
- * functions and keeps track of the currently running timers.
- */
-
-/** Add a timer event. After the absolute timeout has expired, function fn
- * is called with args as arguments.
- *
- *  \ingroup DDEKit_timer
- *
- *	\return		>=0	valid timer ID 
- *  \return		< 0	error
- */
-int ddekit_add_timer(void (*fn)(void *), void *args, unsigned long timeout);
-
-/** Delete timer with the corresponding timer id.
- *
- *  \ingroup DDEKit_timer
- */
-int ddekit_del_timer(int timer);
-
-/** Check whether a timer is pending 
- *
- *  \ingroup DDEKit_timer
- *
- * Linux needs this.
- */
-int ddekit_timer_pending(int timer);
-
-/** Initialization function, startup timer thread
- *
- *  \ingroup DDEKit_timer
- */
-void ddekit_init_timers(void);
-
-/** Get the timer thread.
- */
-ddekit_thread_t *ddekit_get_timer_thread(void);
-
-#endif