From 1d0673d5b819ed2600271b10ba964bbf093288f5 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/ --- helm/{ => software/matita}/dist/AUTHORS | 0 helm/{ => software/matita}/dist/COPYING | 0 helm/{ => software/matita}/dist/ChangeLog | 0 helm/{ => software/matita}/dist/INSTALL | 0 helm/{ => software/matita}/dist/README | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename helm/{ => software/matita}/dist/AUTHORS (100%) rename helm/{ => software/matita}/dist/COPYING (100%) rename helm/{ => software/matita}/dist/ChangeLog (100%) rename helm/{ => software/matita}/dist/INSTALL (100%) rename helm/{ => software/matita}/dist/README (100%) diff --git a/helm/dist/AUTHORS b/helm/software/matita/dist/AUTHORS similarity index 100% rename from helm/dist/AUTHORS rename to helm/software/matita/dist/AUTHORS diff --git a/helm/dist/COPYING b/helm/software/matita/dist/COPYING similarity index 100% rename from helm/dist/COPYING rename to helm/software/matita/dist/COPYING diff --git a/helm/dist/ChangeLog b/helm/software/matita/dist/ChangeLog similarity index 100% rename from helm/dist/ChangeLog rename to helm/software/matita/dist/ChangeLog diff --git a/helm/dist/INSTALL b/helm/software/matita/dist/INSTALL similarity index 100% rename from helm/dist/INSTALL rename to helm/software/matita/dist/INSTALL diff --git a/helm/dist/README b/helm/software/matita/dist/README similarity index 100% rename from helm/dist/README rename to helm/software/matita/dist/README -- 2.39.2