From d2de6c351785f323fd4b2a4e337a95bda4c9a626 Mon Sep 17 00:00:00 2001
From: Joel Bodenmann <joel@unormal.org>
Date: Sun, 2 Feb 2014 19:55:20 +0100
Subject: implemented gtimerDeinit()

---
 include/gtimer/gtimer.h | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

(limited to 'include/gtimer')

diff --git a/include/gtimer/gtimer.h b/include/gtimer/gtimer.h
index 14de352f..06072c7c 100644
--- a/include/gtimer/gtimer.h
+++ b/include/gtimer/gtimer.h
@@ -68,13 +68,22 @@ extern "C" {
 #endif
 
 /**
- * @brief   Initialise a timer.
+ * @brief   Initialise a timer
  *
- * @param[in] pt 	pointer to a GTimer structure
+ * @param[in] pt 	Pointer to a GTimer structure
  *
  * @api
  */
-void gtimerInit(GTimer *pt);
+void gtimerInit(GTimer* pt);
+
+/**
+ * @brief	Deinitialise a timer
+ *
+ * @param[in] pt	Pointer to a GTimer structure
+ *
+ * @api
+ */
+void gtimerDeinit(GTimer* pt);
 
 /**
  * @brief   Set a timer going or alter its properties if it is already going.
-- 
cgit v1.2.3