diff options
author | Karl Berry <karl@freefriends.org> | 2014-06-25 15:20:57 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-06-25 15:20:57 +0000 |
commit | 0347d335d6025289c0c74ad0f11046c87ceb6410 (patch) | |
tree | b320c9c868f96bcd079fbdcc82020466ee536eaa /Master/tlpkg/tlpsrc/overlock.tlpsrc | |
parent | 17ba85a8d8cd6bf84604708cffe98e8437259ab5 (diff) |
overlock (24may14)
git-svn-id: svn://tug.org/texlive/trunk@34409 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/overlock.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/overlock.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/overlock.tlpsrc b/Master/tlpkg/tlpsrc/overlock.tlpsrc new file mode 100644 index 00000000000..3548c3896b7 --- /dev/null +++ b/Master/tlpkg/tlpsrc/overlock.tlpsrc @@ -0,0 +1 @@ +execute addMap overlock.map |