diff options
Diffstat (limited to 'Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf')
-rw-r--r-- | Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf b/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf index 5e8c9395967..4f65c763b0d 100644 --- a/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf +++ b/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf @@ -1,6 +1,6 @@ wasy 0 127 '∆' '' 0 % -'⊲' '' 1 % wasy.htf 2019-08-20-14:31 % +'⊲' '' 1 % wasy.htf 2020-05-27-14:14 % '⊴' '' 2 % Copyright 2002-2009 Eitan M. Gurari % '⊳' '' 3 % '⊵' '' 4 % This work may be distributed and/or modified under the conditions @@ -16,7 +16,7 @@ wasy 0 127 '???' '1' 14 % version identification would be appreciated. '≫' '' 15 % '◄' '' 16 % tex4ht@tug.org -'►' '' 17 % http://www.tug.org/tex4ht +'►' '' 17 % https://tug.org/tex4ht 'ϟ' '' 18 % '♌' '' 19 '???' '1' 20 |