tools/ppl: fix automake error due to use of obsolete directory name
[openwrt/.git] / tools / ppl / patches / 001-gmp_5_fix.patch
2010-12-18 Hauke Mehrtensppl: go back to version 0.10.2