diff options
author | Karl Berry <karl@freefriends.org> | 2019-01-01 22:21:50 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-01-01 22:21:50 +0000 |
commit | f38f18804d0c627c3a73cf3dc2671c89900a45db (patch) | |
tree | 66a200723a049ce1517d1e9e08381837e2cfa371 /Master/tlpkg/tlpsrc/plex.tlpsrc | |
parent | 554fe0a738f0335d90dfcbe5db103196d5e90950 (diff) |
plex (1jan19)
git-svn-id: svn://tug.org/texlive/trunk@49567 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/plex.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/plex.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/plex.tlpsrc b/Master/tlpkg/tlpsrc/plex.tlpsrc index 6662544314c..c697c583d2e 100644 --- a/Master/tlpkg/tlpsrc/plex.tlpsrc +++ b/Master/tlpkg/tlpsrc/plex.tlpsrc @@ -1 +1,2 @@ execute addMap plex.map +execute addMap IBMPlexSansCondensed.map |