[PPL-devel] [GIT] ppl/ppl(master): Avoid non-ASCII characters.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 15 22:15:17 2010 +0100

Avoid non-ASCII characters.

---

 CREDITS |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/CREDITS b/CREDITS
index 701b29a..b96409d 100644
--- a/CREDITS
+++ b/CREDITS
@@ -52,7 +52,7 @@ Current Contributors:
                         solver, and also most of the Java and OCaml
                         interfaces.
 
-  François Galea        [*] (University of Versailles) is working
+  Francois Galea        [*] (University of Versailles) is working
                         at the implementation of the Parametric Integer
                         Programming solver.