diff options
author | Karl Berry <karl@freefriends.org> | 2020-07-14 21:04:17 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-07-14 21:04:17 +0000 |
commit | 3bbc7ded38062ef61515ee8e969677964d3d7563 (patch) | |
tree | 53ce65ced5353527ee72bb40dad9f4a29b9cac99 /Master/tlpkg/tlpsrc/schooldocs.tlpsrc | |
parent | 6b943c4e55386a1fd4f9d3905942e52ff997d7e3 (diff) |
schooldocs (14jul20)
git-svn-id: svn://tug.org/texlive/trunk@55838 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/schooldocs.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/schooldocs.tlpsrc | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/schooldocs.tlpsrc b/Master/tlpkg/tlpsrc/schooldocs.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/Master/tlpkg/tlpsrc/schooldocs.tlpsrc |