[PPL-devel] [GIT] ppl/ppl(master): Blank line added.

17 Mar 2012

Module: ppl/ppl
Branch: master
Commit: ca4e7f70b1c242d8012926dc4445789522e1807c
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca4e7f70b1c24...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Sat Mar 17 18:45:30 2012 +0100
Blank line added.
---
doc/README.doc |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/doc/README.doc b/doc/README.doc
index cb62016..1faf506 100644
--- a/doc/README.doc
+++ b/doc/README.doc
@@ -2,6 +2,7 @@ Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it
 Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
 See below for the copying conditions.
+
 How To Get (More) PPL Documentation
 ===================================

    