diff options
author | Norbert Preining <preining@logic.at> | 2016-06-19 06:28:20 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2016-06-19 06:28:20 +0000 |
commit | 7143421053eed4407427bc9b4426e09d5f061814 (patch) | |
tree | 6cbb1cd67f3b0f1a90129439b2a91d2ae553a7aa /Build/source/libs/gmp | |
parent | b5b7546e56c390a5916dd0bc80e0a364399022d0 (diff) |
fix overwrite of configuration
git-svn-id: svn://tug.org/texlive/trunk@41495 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/gmp')
0 files changed, 0 insertions, 0 deletions