From 29c7deb1aa7bf75dd7eaaaa08fc5629ecb476426 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 8 Feb 2006 17:14:19 +0000
Subject: [PATCH] removed duplicate copy of AUTHORS

---
 matita/dist/AUTHORS | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 matita/dist/AUTHORS

diff --git a/matita/dist/AUTHORS b/matita/dist/AUTHORS
deleted file mode 100644
index e69de29bb..000000000
-- 
2.39.5