diff options
author | Jim Blandy <jimb@red-bean.com> | 1993-04-02 23:12:00 +0000 |
---|---|---|
committer | Jim Blandy <jimb@red-bean.com> | 1993-04-02 23:12:00 +0000 |
commit | a9576d3cabf1bfe37c4a886666696757d79e6a47 (patch) | |
tree | 162c099d63cb52ffeeec411e687271a14869d83b | |
parent | 73996f1970fc5661f6f4ff6b487ad421d8f821ac (diff) | |
download | gnulib-a9576d3cabf1bfe37c4a886666696757d79e6a47.tar.gz |
*** empty log message ***
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
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: |