diff options
author | John Crispin <blogic@openwrt.org> | 2013-11-25 14:09:24 +0000 |
---|---|---|
committer | John Crispin <blogic@openwrt.org> | 2013-11-25 14:09:24 +0000 |
commit | 9706d908255dee69b2830b4a8ed8070e3d7a7604 (patch) | |
tree | 7d9ff9dc2bcfbd699fd0154944d56d8411401ebb /LICENSE | |
parent | 00f0744743dc85ad4e273500a15bb707f0739a6f (diff) | |
download | upstream-9706d908255dee69b2830b4a8ed8070e3d7a7604.tar.gz upstream-9706d908255dee69b2830b4a8ed8070e3d7a7604.tar.bz2 upstream-9706d908255dee69b2830b4a8ed8070e3d7a7604.zip |
tools/mpfr: add GNU source
fixes https://dev.openwrt.org/ticket/14519
mpfr is available from GNU too
see: https://gforge.inria.fr/forum/forum.php?forum_id=11263
Signed-off-by: Dirk Neukirchen <dirkneukirchen@web.de>
git-svn-id: svn://svn.openwrt.org/openwrt/trunk@38912 3c298f89-4303-0410-b956-a3cf2f4a3e73
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions