diff options
author | Erik Schnetter <schnetter@aei.mpg.de> | 2005-01-01 16:21:00 +0000 |
---|---|---|
committer | Erik Schnetter <schnetter@aei.mpg.de> | 2005-01-01 16:21:00 +0000 |
commit | c470f95d11bd190b01615856070c16f6da6aeef9 (patch) | |
tree | d72a4dc567d37a80e0e8c8b8bfaaeb3b4412cf32 /Carpet/doc/Makefile | |
parent | f527714bcb9e2a2c672cee14c7e612a177475309 (diff) |
global: Remove $Header$ keywords from Carpet arrangement
darcs-hash:20050101162121-891bb-ac9d070faecc19f91b4b57389d3507bfc6c6e5ee.gz
Diffstat (limited to 'Carpet/doc/Makefile')
-rw-r--r-- | Carpet/doc/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Carpet/doc/Makefile b/Carpet/doc/Makefile index fd14d6bd6..b8f643cb1 100644 --- a/Carpet/doc/Makefile +++ b/Carpet/doc/Makefile @@ -1,5 +1,3 @@ -# $Header:$ - NAME=documentation all: ${NAME}.dvi ${NAME}.ps ${NAME}.ps.gz ${NAME}.pdf |