diff options
Diffstat (limited to 'src/gr/cg.hh')
| -rw-r--r-- | src/gr/cg.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gr/cg.hh b/src/gr/cg.hh index b63ff2a..02bf370 100644 --- a/src/gr/cg.hh +++ b/src/gr/cg.hh @@ -1,5 +1,5 @@ // cg.hh -- interface between machine-generated and other code -// $Id$ +// $Header$ // // This header file defines the "virtual machine" used by machine-generated |