Module: ppl/ppl Branch: master Commit: 0b2e3fd90fce1d3618bcfe570747d7635a9ca3f5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b2e3fd90fce1...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Jun 23 08:59:06 2013 +0200

Updated.

---

compile | 2 +- config.guess | 167 +++++++++++++----------- config.sub | 55 ++++----- depcomp | 410 +++++++++++++++++++++++++++++----------------------------- missing | 405 +++++++++++++++++++++------------------------------------- 5 files changed, 472 insertions(+), 567 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=0b2e3fd90...