[PPL-devel] [GIT] ppl/ppl(master): Blank line added.
Roberto Bagnara
bagnara at cs.unipr.it
Sat Mar 17 18:45:38 CET 2012
Module: ppl/ppl
Branch: master
Commit: ca4e7f70b1c242d8012926dc4445789522e1807c
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca4e7f70b1c242d8012926dc4445789522e1807c
Author: Roberto Bagnara <bagnara at 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 at cs.unipr.it>
Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
See below for the copying conditions.
+
How To Get (More) PPL Documentation
===================================
More information about the PPL-devel
mailing list