diff options
Diffstat (limited to 'mps/code/vmi5.c')
| -rw-r--r-- | mps/code/vmi5.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mps/code/vmi5.c b/mps/code/vmi5.c index e9d9cc00e2e..49535c99ce8 100644 --- a/mps/code/vmi5.c +++ b/mps/code/vmi5.c | |||
| @@ -1,7 +1,6 @@ | |||
| 1 | /* impl.c.vmi5: VIRTUAL MEMORY MAPPING FOR IRIX 5 (AND 6) | 1 | /* impl.c.vmi5: VIRTUAL MEMORY MAPPING FOR IRIX 5 (AND 6) |
| 2 | * | 2 | * |
| 3 | * $Id$ | 3 | * $Id$ |
| 4 | * $HopeName: MMsrc!vmi5.c(trunk.6) $ | ||
| 5 | * Copyright (c) 2001 Ravenbrook Limited. | 4 | * Copyright (c) 2001 Ravenbrook Limited. |
| 6 | * | 5 | * |
| 7 | * Design: design.mps.vm | 6 | * Design: design.mps.vm |