From: Jim Blandy <jimb@red-bean.com>
Date: Fri, 2 Apr 1993 23:12:00 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a9576d3cabf1bfe37c4a886666696757d79e6a47;p=pspp

*** empty log message ***
---

diff --git a/Makefile.in b/Makefile.in
index 148a7ea07e..4d753196d3 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -16,7 +16,7 @@
 # along with this program; if not, write to the Free Software
 # Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 
-version = 0.11
+version = 0.12
 
 # You can define CPPFLAGS on the command line.  Aside from system-specific
 # flags, you can define: