diff options
| author | Jo-Philipp Wich <jow@openwrt.org> | 2012-08-10 19:26:24 +0000 |
|---|---|---|
| committer | Jo-Philipp Wich <jow@openwrt.org> | 2012-08-10 19:26:24 +0000 |
| commit | 6c5dc20343136ed1d41c5b814e3fe57e3ac8bf3e (patch) | |
| tree | eab2f3fbdf4d53e5c8d82f524a8d34e749cb39fe /tools/gmp | |
| parent | a8d55378c3e637421cd3edbfab4519e60c4a0855 (diff) | |
| download | upstream-6c5dc20343136ed1d41c5b814e3fe57e3ac8bf3e.tar.gz upstream-6c5dc20343136ed1d41c5b814e3fe57e3ac8bf3e.tar.bz2 upstream-6c5dc20343136ed1d41c5b814e3fe57e3ac8bf3e.zip | |
flex: link statically
SVN-Revision: 33091
Diffstat (limited to 'tools/gmp')
0 files changed, 0 insertions, 0 deletions