[tools] revert r16017 there are no users of it yet
[openwrt-10.03/.git] / tools / mpfr /
drwxr-xr-x   ..
-rw-r--r-- 515 Makefile