diff options
| author | Karl Berry <karl@freefriends.org> | 2016-07-08 15:37:48 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2016-07-08 15:37:48 +0000 |
| commit | f6915366839ac9b199d6cce654dd1c6169a43f21 (patch) | |
| tree | 8c6921668fb65fc756133b31b80cd351963bb02d /Master/tlpkg/tlpsrc/pinlabel.tlpsrc | |
| parent | 6b2df051be4aa848826877b41cab52cd1fa1d3f2 (diff) | |
velthuis re-import with devnag man pages
git-svn-id: svn://tug.org/texlive/trunk@41660 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/pinlabel.tlpsrc')
0 files changed, 0 insertions, 0 deletions