[PPL-devel] [GIT] ppl/w3ppl(master): Version number bumped.

2 Aug 2010

Module: ppl/w3ppl
Branch: master
Commit: f0c597d69259e6679ba2a187bbdf5046ef849e3a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=f0c597d6925...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Mon Aug  2 19:06:52 2010 +0200
Version number bumped.
---
htdocs/templates/macros.tmpl |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/htdocs/templates/macros.tmpl b/htdocs/templates/macros.tmpl
index f8a8260..c76a037 100644
--- a/htdocs/templates/macros.tmpl
+++ b/htdocs/templates/macros.tmpl
@@ -1,4 +1,4 @@
-@PPL_VERSION=0.10.2@
+@PPL_VERSION=0.11@
@CHINA=C<SMALL>HINA</SMALL>@

    