diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-07-02 09:19:02 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-07-02 09:19:02 +0000 |
commit | b009a084ebc53d4fb2d904db26fd61f87bf60e54 (patch) | |
tree | 3d896edd730c29a5ae9c77a8d627d41589665e3d /Master/texmf-dist/fonts/enc/dvips/ebgaramond/ebgm_vj5wzu.enc | |
parent | 6822a6b49452b0f8b5a3ce1781c59e766f7cfaba (diff) |
texk/web2c: Better handling of shared vs nonshared libsynctex
git-svn-id: svn://tug.org/texlive/trunk@34498 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/enc/dvips/ebgaramond/ebgm_vj5wzu.enc')
0 files changed, 0 insertions, 0 deletions