diff options
Diffstat (limited to 'src/jtutil/cpm_map.hh')
-rw-r--r-- | src/jtutil/cpm_map.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jtutil/cpm_map.hh b/src/jtutil/cpm_map.hh index dacd715..3afce11 100644 --- a/src/jtutil/cpm_map.hh +++ b/src/jtutil/cpm_map.hh @@ -1,5 +1,5 @@ // cpm_map.hh -- "integer +/-" mapping i --> j = const +/- i -// $Id$ +// $Header$ // // cpm_map - "integer +/-" mapping // |