X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=drv%2Ftimer.c;h=92152bc1059f6a1063a45d70c219ba72f300eacb;hb=0168eb0bee0da568cd3ea8f8dfffa9343175efd9;hp=c347deb56608c669029990f6c20a27f22878fc07;hpb=1f9a4aef45e0bf55a31bf88a828ebd867cf32a34;p=bertos.git

diff --git a/drv/timer.c b/drv/timer.c
index c347deb5..92152bc1 100755
--- a/drv/timer.c
+++ b/drv/timer.c
@@ -6,15 +6,17 @@
  * This file is part of DevLib - See devlib/README for information.
  * -->
  *
- * \version $Id$
+ * \brief Hardware independent timer driver (implementation)
  *
+ * \version $Id$
  * \author Bernardo Innocenti <bernie@develer.com>
- *
- * \brief Hardware independent timer driver (implementation)
  */
 
 /*#*
  *#* $Log$
+ *#* Revision 1.17  2004/10/03 18:52:08  bernie
+ *#* Move \brief on top in header to please Doxygen.
+ *#*
  *#* Revision 1.16  2004/10/03 18:48:01  bernie
  *#* timer_delay(): Add a sanity check to avoid sleeping forever.
  *#*