From 1118b8d59b921d62a02844afd45f0054e8694a9a Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 30 May 2005 02:52:26 +0000 Subject: [PATCH] cvs-time-stamp -> repos-time-stamp svn: r11 --- collects/{cvs-time-stamp => repos-time-stamp}/doc.txt | 0 collects/{cvs-time-stamp => repos-time-stamp}/info.ss | 0 collects/{cvs-time-stamp => repos-time-stamp}/stamp.ss | 0 collects/{cvs-time-stamp => repos-time-stamp}/time-stamp.ss | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename collects/{cvs-time-stamp => repos-time-stamp}/doc.txt (100%) rename collects/{cvs-time-stamp => repos-time-stamp}/info.ss (100%) rename collects/{cvs-time-stamp => repos-time-stamp}/stamp.ss (100%) rename collects/{cvs-time-stamp => repos-time-stamp}/time-stamp.ss (100%) diff --git a/collects/cvs-time-stamp/doc.txt b/collects/repos-time-stamp/doc.txt similarity index 100% rename from collects/cvs-time-stamp/doc.txt rename to collects/repos-time-stamp/doc.txt diff --git a/collects/cvs-time-stamp/info.ss b/collects/repos-time-stamp/info.ss similarity index 100% rename from collects/cvs-time-stamp/info.ss rename to collects/repos-time-stamp/info.ss diff --git a/collects/cvs-time-stamp/stamp.ss b/collects/repos-time-stamp/stamp.ss similarity index 100% rename from collects/cvs-time-stamp/stamp.ss rename to collects/repos-time-stamp/stamp.ss diff --git a/collects/cvs-time-stamp/time-stamp.ss b/collects/repos-time-stamp/time-stamp.ss similarity index 100% rename from collects/cvs-time-stamp/time-stamp.ss rename to collects/repos-time-stamp/time-stamp.ss