diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-23 12:49:22 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-23 12:49:22 +0000 |
commit | cce7ef6b16baffd93860a40a634d23f8447a4d7e (patch) | |
tree | f421a9f4277e2b8587282c496661e5d12a5caf43 /Master/texmf-dist/source/generic/xint | |
parent | 2a625df2d1f705b6ba8486a3e93ff161099e88e4 (diff) |
web2c: Minor cleanup
git-svn-id: svn://tug.org/texlive/trunk@32767 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/generic/xint')
0 files changed, 0 insertions, 0 deletions