From 14776d0aeb833a7e728a27af6ef545f20b495f7f Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 16 Aug 2013 15:15:03 -0400 Subject: Documentation fixes, some code typo fixes, file perms, other minor things. --- test/regress/regress0/fmf/Makefile.am | 0 test/regress/regress0/fmf/german169.smt2 | 0 test/regress/regress0/fmf/german73.smt2 | 0 test/regress/regress0/fmf/refcount24.cvc.smt2 | 0 4 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 test/regress/regress0/fmf/Makefile.am mode change 100755 => 100644 test/regress/regress0/fmf/german169.smt2 mode change 100755 => 100644 test/regress/regress0/fmf/german73.smt2 mode change 100755 => 100644 test/regress/regress0/fmf/refcount24.cvc.smt2 (limited to 'test/regress/regress0/fmf') diff --git a/test/regress/regress0/fmf/Makefile.am b/test/regress/regress0/fmf/Makefile.am old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/german169.smt2 b/test/regress/regress0/fmf/german169.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/german73.smt2 b/test/regress/regress0/fmf/german73.smt2 old mode 100755 new mode 100644 diff --git a/test/regress/regress0/fmf/refcount24.cvc.smt2 b/test/regress/regress0/fmf/refcount24.cvc.smt2 old mode 100755 new mode 100644 -- cgit v1.2.3