aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-06-22 02:05:20 +0000
committerdos-reis <gdr@axiomatics.org>2013-06-22 02:05:20 +0000
commitb717872a67934dfb3a9782f58527aabe3d2a81b7 (patch)
tree44f39c6b4d68b99fb97484b6e4fded34e5861434 /src
parentedb5b025bce95004b908440b55f0183c2fcf34cc (diff)
downloadopen-axiom-b717872a67934dfb3a9782f58527aabe3d2a81b7.tar.gz
Diffstat (limited to 'src')
-rw-r--r--src/Makefile.in2
-rw-r--r--src/algebra/Makefile.in2
-rw-r--r--src/io/Makefile.in2
-rw-r--r--src/syntax/Makefile.in2
4 files changed, 4 insertions, 4 deletions
diff --git a/src/Makefile.in b/src/Makefile.in
index b4c117dc..2e1e78c8 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1,4 +1,4 @@
-# Makefile.in generated by automake 1.13.2 from Makefile.am.
+# Makefile.in generated by automake 1.13.3 from Makefile.am.
# @configure_input@
# Copyright (C) 1994-2013 Free Software Foundation, Inc.
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index bc1ad529..d22c2f50 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -1,4 +1,4 @@
-# Makefile.in generated by automake 1.13.2 from Makefile.am.
+# Makefile.in generated by automake 1.13.3 from Makefile.am.
# @configure_input@
# Copyright (C) 1994-2013 Free Software Foundation, Inc.
diff --git a/src/io/Makefile.in b/src/io/Makefile.in
index 1cbd8406..2320b804 100644
--- a/src/io/Makefile.in
+++ b/src/io/Makefile.in
@@ -1,4 +1,4 @@
-# Makefile.in generated by automake 1.13.2 from Makefile.am.
+# Makefile.in generated by automake 1.13.3 from Makefile.am.
# @configure_input@
# Copyright (C) 1994-2013 Free Software Foundation, Inc.
diff --git a/src/syntax/Makefile.in b/src/syntax/Makefile.in
index bba5226d..8982abc0 100644
--- a/src/syntax/Makefile.in
+++ b/src/syntax/Makefile.in
@@ -1,4 +1,4 @@
-# Makefile.in generated by automake 1.13.2 from Makefile.am.
+# Makefile.in generated by automake 1.13.3 from Makefile.am.
# @configure_input@
# Copyright (C) 1994-2013 Free Software Foundation, Inc.