diff options
| author | Erik Schnetter <schnetter@aei.mpg.de> | 2004-09-18 13:21:00 +0000 |
|---|---|---|
| committer | Erik Schnetter <schnetter@aei.mpg.de> | 2004-09-18 13:21:00 +0000 |
| commit | 81a089f529dbcf73b7dc54fab099d4c4779b6958 (patch) | |
| tree | 056adf32deaeb1a7c055a4aae59c977154f40ad7 /Carpet/doc/internals.tex | |
| parent | d33c8edc248d0a8dad2f91398d845e05ab6562ba (diff) | |
Remove CVS header tags
Replace all CVS header tags with the standard "$Header:$".
darcs-hash:20040918132147-891bb-dea889bdd94a479ec412d14d08e9efca63e5c24d.gz
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} |