Change properties

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

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