Module: ppl/ppl Branch: master Commit: 3033ad3bd74cabead7dbc8ee574490fd1a1d8ccc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3033ad3bd74ca...

Author: Roberto Bagnara bagnara@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