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

16 Apr 2009

Module: ppl/w3ppl
Branch: master
Commit: 064a45561637af1dd577339cb86234b8e2d08168
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=064a4556163...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Apr 16 11:18:11 2009 +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 3fbbd45..f8a8260 100644
--- a/htdocs/templates/macros.tmpl
+++ b/htdocs/templates/macros.tmpl
@@ -1,4 +1,4 @@
-@PPL_VERSION=0.10.1@
+@PPL_VERSION=0.10.2@
@CHINA=C<SMALL>HINA</SMALL>@

    