diff options
| author | Karl Berry <karl@freefriends.org> | 2014-06-28 22:38:04 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2014-06-28 22:38:04 +0000 |
| commit | fefa9d9a14a12b61735ac81b372041267c597461 (patch) | |
| tree | 107f78dbf807fb398d4fa38f4182a42d492f0be1 /Master/tlpkg/tlpsrc/doctools.tlpsrc | |
| parent | a6fa94386add9ed9605b19145be8fa55ca8b8ed7 (diff) | |
doctools (28jun14)
git-svn-id: svn://tug.org/texlive/trunk@34474 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/doctools.tlpsrc')
| -rw-r--r-- | Master/tlpkg/tlpsrc/doctools.tlpsrc | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/doctools.tlpsrc b/Master/tlpkg/tlpsrc/doctools.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/Master/tlpkg/tlpsrc/doctools.tlpsrc |