diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-08-19 06:56:06 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-08-19 06:56:06 +0000 |
commit | e2ec7338df75a2667046f0793efc2d7caa43d46c (patch) | |
tree | 69f7dca110036f90c31e98a670f115b02cc0a813 /Master/texmf-dist/fonts/ovp | |
parent | 65e9eb637847830eb5b3ee03835ffddc980d0da6 (diff) |
texk/web2c: Minor modification (drop unused)
git-svn-id: svn://tug.org/texlive/trunk@38156 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/ovp')
0 files changed, 0 insertions, 0 deletions