diff options
Diffstat (limited to 'Carpet/doc/internals.tex')
-rw-r--r-- | Carpet/doc/internals.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Carpet/doc/internals.tex b/Carpet/doc/internals.tex index 3acbaa9b1..2acc242cd 100644 --- a/Carpet/doc/internals.tex +++ b/Carpet/doc/internals.tex @@ -1,4 +1,4 @@ -% $Header: /home/eschnett/C/carpet/Carpet/Carpet/doc/internals.tex,v 1.4 2003/05/03 13:29:23 schnetter Exp $ +% $Header:$ \documentclass{article} |