[PPL-devel] [GIT] ppl/ppl(master): Updated to minimize risks when the time of releasing PPL 0.12 will come.
Roberto Bagnara
bagnara at cs.unipr.it
Sat Feb 19 17:49:48 CET 2011
Module: ppl/ppl
Branch: master
Commit: a989820a1590c687ad5a1657a3826f04558f8e1e
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a989820a1590c687ad5a1657a3826f04558f8e1e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Feb 19 17:49:07 2011 +0100
Updated to minimize risks when the time of releasing PPL 0.12 will come.
---
NEWS | 30 +++++--
README | 38 ++++----
Watchdog/config.guess | 210 +++++++++++++++++++++--------------------
Watchdog/config.sub | 60 ++++++------
Watchdog/src/Makefile.am | 2 +
config.guess | 210 +++++++++++++++++++++--------------------
config.sub | 60 ++++++------
doc/libppl.3 | 8 +-
doc/libppl_c.3 | 16 ++--
doc/ppl-config_extra_man_text | 10 +-
src/Makefile.am | 7 +-
11 files changed, 340 insertions(+), 311 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a989820a1590c687ad5a1657a3826f04558f8e1e
More information about the PPL-devel
mailing list