[PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
bagnara at cs.unipr.it
Sun Jul 12 11:15:25 CEST 2009
Module: ppl/ppl
Branch: master
Commit: e5b0647b63bda876d877869dc0e9d7f8dda64e5b
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5b0647b63bda876d877869dc0e9d7f8dda64e5b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Jul 12 11:15:18 2009 +0200
Updated.
---
INSTALL | 17 ++++++++--
Watchdog/INSTALL | 17 ++++++++--
Watchdog/compile | 17 +++++----
Watchdog/config.guess | 40 ++++++++++++++++++++--
Watchdog/config.sub | 19 ++++++++---
Watchdog/depcomp | 87 +++++++++++++++++++++++++++++++++++-------------
Watchdog/install-sh | 5 ++-
Watchdog/missing | 49 ++++++++++++++++-----------
Watchdog/mkinstalldirs | 5 ++-
compile | 17 +++++----
config.guess | 40 ++++++++++++++++++++--
config.sub | 19 ++++++++---
depcomp | 87 +++++++++++++++++++++++++++++++++++-------------
install-sh | 5 ++-
missing | 49 ++++++++++++++++-----------
mkinstalldirs | 5 ++-
16 files changed, 344 insertions(+), 134 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e5b0647b63bda876d877869dc0e9d7f8dda64e5b
More information about the PPL-devel
mailing list