diff options
Diffstat (limited to 'src/console/printk.c')
| -rw-r--r-- | src/console/printk.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/console/printk.c b/src/console/printk.c index 67b0d4e19b..636424c12a 100644 --- a/src/console/printk.c +++ b/src/console/printk.c @@ -4,11 +4,6 @@ * Copyright (C) 1991, 1992 Linus Torvalds * */ - -#ifndef lint -static char rcsid[] = "$Id$"; -#endif - //typedef void * va_list; #include <stdarg.h> |