wdvi

commit 7d1d564380cf570faccab903557327f8cb2d992b
parent 11ea6924a65717d2e7a606f0d7880c08cb43d1ab
Author: Kyle Milz <krwmilz@gmail.com>
Date:   Sat, 11 Sep 2021 22:57:03 +0000

remove old comment

Diffstat:
M
xdvi.h
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xdvi.h b/xdvi.h
@@ -195,7 +195,7 @@ char		*dvi_name	= NULL;	/* dvi file name */
 FILE		*dvi_file;		/* user's file */
 Boolean		dvi_file_ready	= False;
 				/* done with font generation and prescanning */
-						/* replace icon/window titles */
+
 int		bak_shrink;		/* last shrink factor != 1 */
 XImage		*image;
 int		backing_store;