[PPL-devel] [GIT] ppl/ppl(master): Updated.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Feb 12 09:10:15 2012 +0100

Updated.

---

 Watchdog/compile         |   33 +++---
 Watchdog/config.guess    |   50 ++++++----
 Watchdog/config.sub      |  102 ++++++++++++------
 Watchdog/depcomp         |   74 ++++++++++++--
 Watchdog/install-sh      |   23 +++--
 Watchdog/ltmain.sh       |   95 ++++++++++-------
 Watchdog/m4/libtool.m4   |  265 ++++++++++++++++++++++++++++++++++++----------
 Watchdog/m4/ltoptions.m4 |   19 +++-
 Watchdog/m4/ltversion.m4 |   10 +-
 Watchdog/missing         |   53 +---------
 compile                  |   33 +++---
 config.guess             |   50 ++++++----
 config.sub               |  102 ++++++++++++------
 depcomp                  |   74 ++++++++++++--
 install-sh               |   23 +++--
 ltmain.sh                |   95 ++++++++++-------
 m4/libtool.m4            |  265 ++++++++++++++++++++++++++++++++++++----------
 m4/ltoptions.m4          |   19 +++-
 m4/ltversion.m4          |   10 +-
 missing                  |   53 +---------
 20 files changed, 970 insertions(+), 478 deletions(-)

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