diff options
Diffstat (limited to 'win32-diffs')
| -rw-r--r-- | win32-diffs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/win32-diffs b/win32-diffs index 974d7638..97ff4b0d 100644 --- a/win32-diffs +++ b/win32-diffs @@ -771,7 +771,7 @@ diff -aruN groff/font/devdvi/DESC groff.win32/font/devdvi/DESC +vert 1 +sizes 500 600 700 800 900 1000 1095 1200 1400 1440 1600 1728 1800 +2000 2074 2200 2400 2488 2800 3600 0 -+fonts 13 R I B BI 0 0 0 0 0 MI S EX CW ++fonts 14 R I B BI 0 0 0 0 0 MI S EX CW CWI +tcommand +postpro grodvi diff -aruN groff/font/devlatin1/B groff.win32/font/devlatin1/B |