summaryrefslogtreecommitdiff
path: root/package/mpfr/patches
diff options
context:
space:
mode:
authorWaldemar Brodkorb <mail@waldemar-brodkorb.de>2013-12-15 14:09:00 +0100
committerWaldemar Brodkorb <mail@waldemar-brodkorb.de>2013-12-15 14:09:00 +0100
commit0e14700702f06f09f25bc861e2642a6d42da982b (patch)
tree836903db80f85bfca84ad3fbdc1af642abafb1fd /package/mpfr/patches
parent1d41dfd46f6f45ed351a677fb22eea072c6530df (diff)
need to merge third patch from Phil manually. disable on non Linux hosts
Diffstat (limited to 'package/mpfr/patches')
0 files changed, 0 insertions, 0 deletions