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