From 83508f07f55f7660ca071f15e966cc67ccf510da Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 18 Mar 2013 19:21:57 +0000 Subject: [PATCH] a file was added by mistake --- .../contribs/lambdadelta/basic_2/etc/ygt/{zgt.ma => zgt.etc} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename matita/matita/contribs/lambdadelta/basic_2/etc/ygt/{zgt.ma => zgt.etc} (100%) diff --git a/matita/matita/contribs/lambdadelta/basic_2/etc/ygt/zgt.ma b/matita/matita/contribs/lambdadelta/basic_2/etc/ygt/zgt.etc similarity index 100% rename from matita/matita/contribs/lambdadelta/basic_2/etc/ygt/zgt.ma rename to matita/matita/contribs/lambdadelta/basic_2/etc/ygt/zgt.etc -- 2.39.2