From: Stefano Zacchiroli Date: Fri, 3 Feb 2006 15:36:53 +0000 (+0000) Subject: moved (dummy) dist stuff into software/matita/ X-Git-Tag: make_still_working~7645 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1d0673d5b819ed2600271b10ba964bbf093288f5;p=helm.git moved (dummy) dist stuff into software/matita/ --- diff --git a/helm/dist/AUTHORS b/helm/dist/AUTHORS deleted file mode 100644 index e69de29bb..000000000 diff --git a/helm/dist/COPYING b/helm/dist/COPYING deleted file mode 100644 index e69de29bb..000000000 diff --git a/helm/dist/ChangeLog b/helm/dist/ChangeLog deleted file mode 100644 index e69de29bb..000000000 diff --git a/helm/dist/INSTALL b/helm/dist/INSTALL deleted file mode 100644 index e69de29bb..000000000 diff --git a/helm/dist/README b/helm/dist/README deleted file mode 100644 index e69de29bb..000000000 diff --git a/helm/software/matita/dist/AUTHORS b/helm/software/matita/dist/AUTHORS new file mode 100644 index 000000000..e69de29bb diff --git a/helm/software/matita/dist/COPYING b/helm/software/matita/dist/COPYING new file mode 100644 index 000000000..e69de29bb diff --git a/helm/software/matita/dist/ChangeLog b/helm/software/matita/dist/ChangeLog new file mode 100644 index 000000000..e69de29bb diff --git a/helm/software/matita/dist/INSTALL b/helm/software/matita/dist/INSTALL new file mode 100644 index 000000000..e69de29bb diff --git a/helm/software/matita/dist/README b/helm/software/matita/dist/README new file mode 100644 index 000000000..e69de29bb