diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-06-26 09:46:57 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-06-26 09:46:57 +0000 |
| commit | bce2dfa6528586879c761f6df43e20cc21afb42f (patch) | |
| tree | 7749d6440129a6e2b679940a81f21530785a69aa /Master/texmf-dist/scripts/latex2man | |
| parent | 68f9c3e7c87ddb6cbdaa90a0f8d6a7aa6be6e0f0 (diff) | |
libs/gmp: Allow to build debugging version, reported by Luigi Scarso
git-svn-id: svn://tug.org/texlive/trunk@34429 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/latex2man')
0 files changed, 0 insertions, 0 deletions