[PPL-devel] [GIT] ppl/ppl(master): Version bumped.
Roberto Bagnara
bagnara at cs.unipr.it
Tue Jun 26 11:20:17 CEST 2012
Module: ppl/ppl
Branch: master
Commit: 3033ad3bd74cabead7dbc8ee574490fd1a1d8ccc
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3033ad3bd74cabead7dbc8ee574490fd1a1d8ccc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Jun 26 11:20:06 2012 +0200
Version bumped.
---
src/Makefile.am | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/src/Makefile.am b/src/Makefile.am
index 3affe9d..8a73add 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -58,8 +58,9 @@
# 0.11 9:0:0
# 0.12 10:0:0
# 0.12.1 11:0:0
+# 1.0 12:0:0
-LIBPPL_LT_CURRENT = 11
+LIBPPL_LT_CURRENT = 12
LIBPPL_LT_REVISION = 0
LIBPPL_LT_AGE = 0
More information about the PPL-devel
mailing list