0.11.3 release

Signed-off-by: Uday Bondhugula <[email protected]>
bondhugula · Feb 8, 2015 · 2a69a2d · 2a69a2d
1 parent 97df856
commit 2a69a2d
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 5 deletions.
diff --git a/ChangeLog b/ChangeLog
@@ -1,3 +1,10 @@
+0.11.3
+
+Diamond tiling code update 
+
+Minor bug fixes. See git history for all changes
+
+
 0.11.2
 
 Minor fixes. See git history for all changes

diff --git a/INSTALL b/INSTALL
@@ -22,8 +22,8 @@ with, for eg., 'sudo yum -y install gmp gmp-devel' on a Fedora, or
 
 QUICK INSTALL
 
-$ tar zxvf pluto-0.11.2.tgz
-$ cd pluto-0.11.2/
+$ tar zxvf pluto-0.11.3.tgz
+$ cd pluto-0.11.3/
 $ ./configure 
 $ make
 

diff --git a/README b/README
@@ -31,8 +31,8 @@ BUILDING PLUTO
 
 Stable release
 
-$ tar zxvf pluto-0.11.2.tar.gz
-$ cd pluto-0.11.2/
+$ tar zxvf pluto-0.11.3.tar.gz
+$ cd pluto-0.11.3/
 $ ./configure
 $ make
 $ make test

diff --git a/configure.ac b/configure.ac
@@ -16,7 +16,7 @@ dnl
 
 AC_PREREQ(2.13)
 
-AC_INIT(pluto, 0.11.2, [[email protected]])
+AC_INIT(pluto, 0.11.3, [[email protected]])
 AC_CONFIG_AUX_DIR([.])
 AC_CONFIG_MACRO_DIR([m4])