tuned;
authorwenzelm
Tue Feb 13 01:32:54 2001 +0100 (2001-02-13)
changeset 111032a3cc8e1723a
parent 11102 5ceaa79c220d
child 11104 f2024fed9f0c
tuned;
etc/settings
     1.1 --- a/etc/settings	Mon Feb 12 20:47:19 2001 +0100
     1.2 +++ b/etc/settings	Tue Feb 13 01:32:54 2001 +0100
     1.3 @@ -129,6 +129,7 @@
     1.4  #The dvi file viewer
     1.5  DVI_VIEWER=xdvi
     1.6  #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
     1.7 +#DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7"
     1.8  #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
     1.9  #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    1.10