From 31eedfb7bef43a92231962a4322b8ebf59e186a7 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 3 Feb 2006 15:36:53 +0000 Subject: [PATCH] moved (dummy) dist stuff into software/matita/ --- matita/dist/AUTHORS | 0 matita/dist/COPYING | 0 matita/dist/ChangeLog | 0 matita/dist/INSTALL | 0 matita/dist/README | 0 5 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 matita/dist/AUTHORS create mode 100644 matita/dist/COPYING create mode 100644 matita/dist/ChangeLog create mode 100644 matita/dist/INSTALL create mode 100644 matita/dist/README diff --git a/matita/dist/AUTHORS b/matita/dist/AUTHORS new file mode 100644 index 000000000..e69de29bb diff --git a/matita/dist/COPYING b/matita/dist/COPYING new file mode 100644 index 000000000..e69de29bb diff --git a/matita/dist/ChangeLog b/matita/dist/ChangeLog new file mode 100644 index 000000000..e69de29bb diff --git a/matita/dist/INSTALL b/matita/dist/INSTALL new file mode 100644 index 000000000..e69de29bb diff --git a/matita/dist/README b/matita/dist/README new file mode 100644 index 000000000..e69de29bb -- 2.39.2