0.6.7.22: removed CVS dollar-Header-dollar tags from sources

[sbcl.git] / src / runtime / linux-os.h

diff --git a/src/runtime/linux-os.h b/src/runtime/linux-os.h
index d010704..a2f1c34 100644 (file)
--- a/src/runtime/linux-os.h
+++ b/src/runtime/linux-os.h
@@ -9,10 +9,6 @@
  * files for more information.
  */
 
-/*
- * $Header$
- */
-
 #include <stdlib.h>
 #include <sys/types.h>
 #include <sys/mman.h>