--- ray/src/common/header.c	2022/03/21 17:03:51	2.48
+++ ray/src/common/header.c	2025/06/07 05:09:45	2.51
@@ -1,5 +1,5 @@
 #ifndef lint
-static const char	RCSid[] = "$Id: header.c,v 2.48 2022/03/21 17:03:51 greg Exp $";
+static const char	RCSid[] = "$Id: header.c,v 2.51 2025/06/07 05:09:45 greg Exp $";
 #endif
 /*
  *  header.c - routines for reading and writing information headers.
@@ -12,7 +12,6 @@ static const char	RCSid[] = "$Id: header.c,v 2.48 2022
  *  gmtval(t,s)		get GMT as UTC
  *  fputdate(t,fp)	put out the given UTC
  *  fputnow(fp)		put out the current date and time
- *  printargs(ac,av,fp) print an argument list to fp, followed by '\n'
  *  formatval(r,s)	copy the format value in s to r
  *  fputformat(s,fp)	write "FORMAT=%s" to fp
  *  nativebigendian()	are we native on big-endian machine?
@@ -158,28 +157,6 @@ fputnow(			/* write out the current time */
 	time_t	tv;
 	time(&tv);
 	fputdate(tv, fp);
-}
-
-
-void
-printargs(		/* print arguments to a file */
-	int  ac,
-	char  **av,
-	FILE  *fp
-)
-{
-#if defined(_WIN32) || defined(_WIN64)
-	extern char	*fixargv0(char *arg0);
-	char		myav0[128];
-				/* clean up Windows executable path */
-	if (ac-- <= 0) return;
-	fputs(fixargv0(strcpy(myav0, *av++)), fp);
-	fputc(ac ? ' ' : '\n', fp);
-#endif
-	while (ac-- > 0) {
-		fputword(*av++, fp);
-		fputc(ac ? ' ' : '\n', fp);
-	}
 }