Add missing header.

[bertos.git] / os / hptime.c

diff --git a/os/hptime.c b/os/hptime.c
index e4016d1b55ae561a886bb0e7270f4c1ac97bb780..7c53d9dfb959f95a4516dcd3c36a8019eac2f40c 100755 (executable)
--- a/os/hptime.c
+++ b/os/hptime.c
@@ -2,7 +2,7 @@
  * \file
  * <!--
  * Copyright 2003, 2004 Develer S.r.l. (http://www.develer.com/)
- * This file is part of DevLib - See devlib/README for information.
+ * This file is part of DevLib - See README.devlib for information.
  * -->
  *
  * \brief Portable abstraction for high-resolution time handling (implementation)
@@ -11,18 +11,24 @@
  * \author Bernardo Innocenti <bernie@develer.com>
  */
 
-/*
- * $Log$
- * Revision 1.3  2004/08/10 05:45:04  bernie
- * Fix spacing in header.
- *
- * Revision 1.2  2004/06/03 11:27:09  bernie
- * Add dual-license information.
- *
- * Revision 1.1  2004/06/03 09:01:06  bernie
- * Import into DevLib.
- *
- */
+/*#*
+ *#* $Log$
+ *#* Revision 1.5  2005/11/04 16:20:02  bernie
+ *#* Fix reference to README.devlib in header.
+ *#*
+ *#* Revision 1.4  2004/08/25 14:12:09  rasky
+ *#* Aggiornato il comment block dei log RCS
+ *#*
+ *#* Revision 1.3  2004/08/10 05:45:04  bernie
+ *#* Fix spacing in header.
+ *#*
+ *#* Revision 1.2  2004/06/03 11:27:09  bernie
+ *#* Add dual-license information.
+ *#*
+ *#* Revision 1.1  2004/06/03 09:01:06  bernie
+ *#* Import into DevLib.
+ *#*
+ *#*/
 
 #include "hptime.h"