diff options
| author | Hauke Mehrtens <hauke@hauke-m.de> | 2010-12-18 19:34:04 +0000 |
|---|---|---|
| committer | Hauke Mehrtens <hauke@hauke-m.de> | 2010-12-18 19:34:04 +0000 |
| commit | 22a7f8afb1308af31fd01de98f250f0a4eacc2f1 (patch) | |
| tree | df2c93f123c0b2693ed2edd80baefdfb07a89813 /docs/.gitignore | |
| parent | 97860d1c5c7bdd128ee1824217990119b750b2bd (diff) | |
| download | upstream-22a7f8afb1308af31fd01de98f250f0a4eacc2f1.tar.gz upstream-22a7f8afb1308af31fd01de98f250f0a4eacc2f1.tar.bz2 upstream-22a7f8afb1308af31fd01de98f250f0a4eacc2f1.zip | |
ppl: go back to version 0.10.2
GCC 4.5 needs ppl in version 0.10.2. The patch makes it compile with gmp 5.
SVN-Revision: 24680
Diffstat (limited to 'docs/.gitignore')
0 files changed, 0 insertions, 0 deletions