From 67a323d15d30a2eae1de73127e868243fdf74969 Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Tue, 18 Nov 2008 20:14:57 +0000 Subject: [PATCH] git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@44 e59a4935-1847-0410-ae03-e826735625c1 --- .../2007-07-21-regress.log_bigarray-test | 0 {regressions => old-regressions-logs}/2007-07-22-regress.log | 0 {regressions => old-regressions-logs}/2008-01-14-regress.log | 0 .../2008-01-14-regress.log-big-test | 0 .../2008-01-14-regress.log-bigarray-test | 0 {regressions => old-regressions-logs}/2008-01-15-regress.log | 0 .../2008-01-15-regress.log-bigarray-test | 0 {regressions => old-regressions-logs}/README | 0 8 files changed, 0 insertions(+), 0 deletions(-) rename {regressions => old-regressions-logs}/2007-07-21-regress.log_bigarray-test (100%) rename {regressions => old-regressions-logs}/2007-07-22-regress.log (100%) rename {regressions => old-regressions-logs}/2008-01-14-regress.log (100%) rename {regressions => old-regressions-logs}/2008-01-14-regress.log-big-test (100%) rename {regressions => old-regressions-logs}/2008-01-14-regress.log-bigarray-test (100%) rename {regressions => old-regressions-logs}/2008-01-15-regress.log (100%) rename {regressions => old-regressions-logs}/2008-01-15-regress.log-bigarray-test (100%) rename {regressions => old-regressions-logs}/README (100%) diff --git a/regressions/2007-07-21-regress.log_bigarray-test b/old-regressions-logs/2007-07-21-regress.log_bigarray-test similarity index 100% rename from regressions/2007-07-21-regress.log_bigarray-test rename to old-regressions-logs/2007-07-21-regress.log_bigarray-test diff --git a/regressions/2007-07-22-regress.log b/old-regressions-logs/2007-07-22-regress.log similarity index 100% rename from regressions/2007-07-22-regress.log rename to old-regressions-logs/2007-07-22-regress.log diff --git a/regressions/2008-01-14-regress.log b/old-regressions-logs/2008-01-14-regress.log similarity index 100% rename from regressions/2008-01-14-regress.log rename to old-regressions-logs/2008-01-14-regress.log diff --git a/regressions/2008-01-14-regress.log-big-test b/old-regressions-logs/2008-01-14-regress.log-big-test similarity index 100% rename from regressions/2008-01-14-regress.log-big-test rename to old-regressions-logs/2008-01-14-regress.log-big-test diff --git a/regressions/2008-01-14-regress.log-bigarray-test b/old-regressions-logs/2008-01-14-regress.log-bigarray-test similarity index 100% rename from regressions/2008-01-14-regress.log-bigarray-test rename to old-regressions-logs/2008-01-14-regress.log-bigarray-test diff --git a/regressions/2008-01-15-regress.log b/old-regressions-logs/2008-01-15-regress.log similarity index 100% rename from regressions/2008-01-15-regress.log rename to old-regressions-logs/2008-01-15-regress.log diff --git a/regressions/2008-01-15-regress.log-bigarray-test b/old-regressions-logs/2008-01-15-regress.log-bigarray-test similarity index 100% rename from regressions/2008-01-15-regress.log-bigarray-test rename to old-regressions-logs/2008-01-15-regress.log-bigarray-test diff --git a/regressions/README b/old-regressions-logs/README similarity index 100% rename from regressions/README rename to old-regressions-logs/README -- 2.47.3