From 3e1c76415ff8bebdb06791f03390345a0df8dfd9 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 8 Feb 2006 17:14:19 +0000 Subject: [PATCH] removed duplicate copy of AUTHORS --- helm/software/matita/dist/AUTHORS | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 helm/software/matita/dist/AUTHORS diff --git a/helm/software/matita/dist/AUTHORS b/helm/software/matita/dist/AUTHORS deleted file mode 100644 index e69de29bb..000000000 -- 2.39.2