summaryrefslogtreecommitdiff
path: root/Build/source/libs/gmp
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2016-06-19 06:28:20 +0000
committerNorbert Preining <preining@logic.at>2016-06-19 06:28:20 +0000
commit7143421053eed4407427bc9b4426e09d5f061814 (patch)
tree6cbb1cd67f3b0f1a90129439b2a91d2ae553a7aa /Build/source/libs/gmp
parentb5b7546e56c390a5916dd0bc80e0a364399022d0 (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