Update benchmark projects.

[bertos.git] / bertos / kern / irq.h

diff --git a/bertos/kern/irq.h b/bertos/kern/irq.h
index 5be6899c8dbfdf1911d459098dae5b684bd2f2a2..3762de5664d67ab6ca063f55755bf0cbbfff725d 100644 (file)
--- a/bertos/kern/irq.h
+++ b/bertos/kern/irq.h
@@ -31,7 +31,6 @@
  *
  * \brief Process scheduler (public interface).
  *
- * \version $Id: proc.h 1646 2008-08-17 13:49:48Z bernie $
  * \author Bernie Innocenti <bernie@codewiz.org>
  */
 #ifndef KERN_IRQ_H