diff options
author | Karl Berry <karl@freefriends.org> | 2015-02-17 23:07:41 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2015-02-17 23:07:41 +0000 |
commit | 29da2f586abfa4540d83c924fbe48d3cbe75d169 (patch) | |
tree | 6d294dd585324e734b06936769a9aee2a64514f7 /Master/texmf-dist/fonts/afm/public/drm/drminf17.afm | |
parent | fceb87ab94ba241eaa06814ebfb65dea856d232b (diff) |
drm (17feb15)
git-svn-id: svn://tug.org/texlive/trunk@36305 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/afm/public/drm/drminf17.afm')
-rw-r--r-- | Master/texmf-dist/fonts/afm/public/drm/drminf17.afm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/fonts/afm/public/drm/drminf17.afm b/Master/texmf-dist/fonts/afm/public/drm/drminf17.afm index e04454a623a..f1747527add 100644 --- a/Master/texmf-dist/fonts/afm/public/drm/drminf17.afm +++ b/Master/texmf-dist/fonts/afm/public/drm/drminf17.afm @@ -1,6 +1,6 @@ StartFontMetrics 2.0 Comment Generated by FontForge 20120731 -Comment Creation Date: Mon Nov 3 13:36:38 2014 +Comment Creation Date: Sun Feb 15 21:24:10 2015 FontName drminf17 FullName drminf17 FamilyName drminf17 |