From 68d1ed47eccf833b912dd18e89e2c50ab677001e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 23 Dec 2005 12:38:52 +0000 Subject: [PATCH 1/1] removed prova --- helm/papers/matita/a | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 helm/papers/matita/a diff --git a/helm/papers/matita/a b/helm/papers/matita/a deleted file mode 100644 index e69de29bb..000000000 -- 2.39.2