From 006f3a8d66e21bdcda58eb2c820657ce122b8004 Mon Sep 17 00:00:00 2001 From: wesommer Date: Sat, 22 Aug 1987 23:51:56 +0000 Subject: [PATCH] Removed duplicate copy of rcsid. --- clients/mailmaint/mailmaint.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/clients/mailmaint/mailmaint.c b/clients/mailmaint/mailmaint.c index 12982cd7..b260427b 100644 --- a/clients/mailmaint/mailmaint.c +++ b/clients/mailmaint/mailmaint.c @@ -3,10 +3,6 @@ * $Header$ */ -#ifndef lint -static char *rcsid_mailmaint_c = "$Header$"; -#endif lint - #ifndef lint static char rcsid_mailmaint_c[] = "$Header$"; -- 2.45.2