diff options
Diffstat (limited to '')
| -rw-r--r-- | cpukit/score/src/wkspace.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c index 59ccbd059a..97299540f8 100644 --- a/cpukit/score/src/wkspace.c +++ b/cpukit/score/src/wkspace.c @@ -13,7 +13,7 @@ * to the copyright license under the clause at DFARS 252.227-7013. This * notice must appear in all copies of this file and its derivatives. * - * wkspace.c,v 1.4 1995/05/25 15:26:53 joel Exp + * $Id$ */ #include <rtems/system.h> |