From 128bca9fb60def3461ac25b08e17ac841355924a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 9 Jun 2005 16:24:24 +0000 Subject: [PATCH] test_instance.ma moved to interactive/ (whose tests are not executed for regression testing) --- helm/matita/tests/{ => interactive}/test_instance.ma | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename helm/matita/tests/{ => interactive}/test_instance.ma (100%) diff --git a/helm/matita/tests/test_instance.ma b/helm/matita/tests/interactive/test_instance.ma similarity index 100% rename from helm/matita/tests/test_instance.ma rename to helm/matita/tests/interactive/test_instance.ma -- 2.39.2