diff options
author | Karl Berry <karl@freefriends.org> | 2022-05-02 20:47:41 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-05-02 20:47:41 +0000 |
commit | 7001c444bacf465988439e844142f69f41b81fad (patch) | |
tree | 5030798fc53856e21c2abfe144df398d37fb4de6 /Build/source | |
parent | 4f1c635c1d8ae6d31011e50d8b30f53726471224 (diff) |
omit mgltex sample.tex doc also
git-svn-id: svn://tug.org/texlive/trunk@63213 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
0 files changed, 0 insertions, 0 deletions