diff options
| author | Karl Berry <karl@freefriends.org> | 2017-01-04 23:52:08 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-01-04 23:52:08 +0000 |
| commit | b98a26a0f00d01cc222b94bad381bc4e6ee7c07f (patch) | |
| tree | 185d2f0ad26815e4c18f43e29fffe59e764ad40c /Master/tlpkg/tlpsrc/tinos.tlpsrc | |
| parent | 8ba034823fe40632f3fbddcfba519d278185fb36 (diff) | |
tinos (4jan17)
git-svn-id: svn://tug.org/texlive/trunk@42862 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/tinos.tlpsrc')
| -rw-r--r-- | Master/tlpkg/tlpsrc/tinos.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/tinos.tlpsrc b/Master/tlpkg/tlpsrc/tinos.tlpsrc new file mode 100644 index 00000000000..260e386ad24 --- /dev/null +++ b/Master/tlpkg/tlpsrc/tinos.tlpsrc @@ -0,0 +1 @@ +execute addMap tinos.map |