[PPL-devel] [GIT] ppl/w3ppl(master): Missing parentheses added.
Roberto Bagnara
bagnara at cs.unipr.it
Tue Apr 14 11:08:03 CEST 2009
Module: ppl/w3ppl
Branch: master
Commit: c888202a0c7deab1967bf65d430365da491bbd91
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=c888202a0c7deab1967bf65d430365da491bbd91
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Apr 14 11:07:54 2009 +0200
Missing parentheses added.
---
htdocs/news.raw | 2 +-
htdocs/ppl.raw | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/htdocs/news.raw b/htdocs/news.raw
index 6b592cb..c70e4f8 100644
--- a/htdocs/news.raw
+++ b/htdocs/news.raw
@@ -16,7 +16,7 @@ of the Parma Polyhedra Library.
<BR>
This release includes several important improvements to PPL 0.10,
among which is better portability (including the support for
- cross-compilation, increased robustness, better packaging and
+ cross-compilation), increased robustness, better packaging and
several bug fixes.
</TD>
</TR>
diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw
index 881dc42..7de4f2a 100644
--- a/htdocs/ppl.raw
+++ b/htdocs/ppl.raw
@@ -54,7 +54,7 @@ version 3</A> or any later version).
<BR>
This release includes several important improvements to PPL 0.10,
among which is better portability (including the support for
- cross-compilation, increased robustness, better packaging and
+ cross-compilation), increased robustness, better packaging and
several bug fixes.
</TD>
</TR>
More information about the PPL-devel
mailing list