diff options
author | Karl Berry <karl@freefriends.org> | 2018-12-22 22:33:13 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-12-22 22:33:13 +0000 |
commit | 52044d373299f837546406afa5ab4961afac827a (patch) | |
tree | c1dba5ba48025381b3616c27b2967c9d15d6fad9 /Master/bin | |
parent | 83047e390e782f619cc98f9e1df8ca57fd5f9cb9 (diff) |
missing trivial files to input plain.mp, like mpost.mp (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=673351)
git-svn-id: svn://tug.org/texlive/trunk@49482 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin')
0 files changed, 0 insertions, 0 deletions