diff options
Diffstat (limited to 'Carpet/doc/Makefile')
-rw-r--r-- | Carpet/doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Carpet/doc/Makefile b/Carpet/doc/Makefile index 8c402b013..fd14d6bd6 100644 --- a/Carpet/doc/Makefile +++ b/Carpet/doc/Makefile @@ -1,4 +1,4 @@ -# $Header: /home/eschnett/C/carpet/Carpet/Carpet/doc/Makefile,v 1.2 2002/11/29 16:48:35 schnetter Exp $ +# $Header:$ NAME=documentation |