diff options
Diffstat (limited to 'mps/code/poolmfs.h')
| -rw-r--r-- | mps/code/poolmfs.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mps/code/poolmfs.h b/mps/code/poolmfs.h index 438ece3c987..ab145f2a70d 100644 --- a/mps/code/poolmfs.h +++ b/mps/code/poolmfs.h | |||
| @@ -3,7 +3,6 @@ | |||
| 3 | * MANUAL FIXED SMALL UNIT POOL | 3 | * MANUAL FIXED SMALL UNIT POOL |
| 4 | * | 4 | * |
| 5 | * $Id$ | 5 | * $Id$ |
| 6 | * $HopeName: MMsrc!poolmfs.h(trunk.5) $ | ||
| 7 | * | 6 | * |
| 8 | * Copyright (c) 2001 Ravenbrook Limited. | 7 | * Copyright (c) 2001 Ravenbrook Limited. |
| 9 | * | 8 | * |