diff options
| author | Jo-Philipp Wich <jow@openwrt.org> | 2012-08-10 19:26:55 +0000 |
|---|---|---|
| committer | Jo-Philipp Wich <jow@openwrt.org> | 2012-08-10 19:26:55 +0000 |
| commit | 709d0b0ddb222fa6d1795d2d4f171697f7df4432 (patch) | |
| tree | 65ca398dd6fca1d22e1659a1b101dc0dd5e1c031 /tools/mpfr | |
| parent | 04e6e15857d6a28d4bf7518a43881a008a3ab841 (diff) | |
| download | upstream-709d0b0ddb222fa6d1795d2d4f171697f7df4432.tar.gz upstream-709d0b0ddb222fa6d1795d2d4f171697f7df4432.tar.bz2 upstream-709d0b0ddb222fa6d1795d2d4f171697f7df4432.zip | |
upslug2: link statically
SVN-Revision: 33108
Diffstat (limited to 'tools/mpfr')
0 files changed, 0 insertions, 0 deletions