[PPL-devel] [GIT] ppl/ppl(master): Use a consistent formatting.

Sat Mar 17 19:04:13 CET 2012

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Mar 17 19:04:01 2012 +0100

Use a consistent formatting.

---

 README           |    4 ++--
 README.alpha     |    4 ++--
 README.arm       |    4 ++--
 README.configure |    4 ++--
 README.solaris   |    4 ++--
 STANDARDS        |    4 ++--
 doc/README.doc   |    4 ++--
 tests/README     |    4 ++--
 8 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/README b/README
index 3998eda..f727bd0 100644
--- a/README
+++ b/README
@@ -1718,8 +1718,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation;
+under the terms of the GNU Free Documentation License, Version 1.2
+or any later version published by the Free Software Foundation;
 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files named `fdl.*'.
diff --git a/README.alpha b/README.alpha
index 90c5b3a..d0af55e 100644
--- a/README.alpha
+++ b/README.alpha
@@ -33,8 +33,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation;
+under the terms of the GNU Free Documentation License, Version 1.2
+or any later version published by the Free Software Foundation;
 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files named `fdl.*'.
diff --git a/README.arm b/README.arm
index 4030416..47b0d1e 100644
--- a/README.arm
+++ b/README.arm
@@ -28,8 +28,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation;
+under the terms of the GNU Free Documentation License, Version 1.2
+or any later version published by the Free Software Foundation;
 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files named `fdl.*'.
diff --git a/README.configure b/README.configure
index a1cb730..9cd4eb4 100644
--- a/README.configure
+++ b/README.configure
@@ -455,8 +455,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation;
+under the terms of the GNU Free Documentation License, Version 1.2
+or any later version published by the Free Software Foundation;
 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files named `fdl.*'.
diff --git a/README.solaris b/README.solaris
index b5ee079..9e1aafb 100644
--- a/README.solaris
+++ b/README.solaris
@@ -24,8 +24,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation;
+under the terms of the GNU Free Documentation License, Version 1.2
+or any later version published by the Free Software Foundation;
 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files named `fdl.*'.
diff --git a/STANDARDS b/STANDARDS
index ec218ed..285e835 100644
--- a/STANDARDS
+++ b/STANDARDS
@@ -713,8 +713,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation;
+under the terms of the GNU Free Documentation License, Version 1.2
+or any later version published by the Free Software Foundation;
 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files named `fdl.*'.
diff --git a/doc/README.doc b/doc/README.doc
index 8340cff..9799abf 100644
--- a/doc/README.doc
+++ b/doc/README.doc
@@ -141,8 +141,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 This document describes the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation;
+under the terms of the GNU Free Documentation License, Version 1.2
+or any later version published by the Free Software Foundation;
 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files named `fdl.*'.
diff --git a/tests/README b/tests/README
index 7702cf6..9a81a45 100644
--- a/tests/README
+++ b/tests/README
@@ -91,8 +91,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 This file is part of the Parma Polyhedra Library (PPL).
 
 Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation;
+under the terms of the GNU Free Documentation License, Version 1.2
+or any later version published by the Free Software Foundation;
 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 The license is included, in various formats, in the `doc' subdirectory
 of each distribution of the PPL in files named `fdl.*'.


