From 87a5c3bfa28fd1c88bbe6918b8d7c023dab02bc1 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Mon, 10 May 2010 06:52:14 -0400
Subject: [PATCH] use a more common short for repository

---
 collects/{repos-time-stamp => repo-time-stamp}/doc.txt        | 0
 collects/{repos-time-stamp => repo-time-stamp}/info.rkt       | 0
 collects/{repos-time-stamp => repo-time-stamp}/stamp.rkt      | 0
 collects/{repos-time-stamp => repo-time-stamp}/time-stamp.rkt | 0
 4 files changed, 0 insertions(+), 0 deletions(-)
 rename collects/{repos-time-stamp => repo-time-stamp}/doc.txt (100%)
 rename collects/{repos-time-stamp => repo-time-stamp}/info.rkt (100%)
 rename collects/{repos-time-stamp => repo-time-stamp}/stamp.rkt (100%)
 rename collects/{repos-time-stamp => repo-time-stamp}/time-stamp.rkt (100%)

diff --git a/collects/repos-time-stamp/doc.txt b/collects/repo-time-stamp/doc.txt
similarity index 100%
rename from collects/repos-time-stamp/doc.txt
rename to collects/repo-time-stamp/doc.txt
diff --git a/collects/repos-time-stamp/info.rkt b/collects/repo-time-stamp/info.rkt
similarity index 100%
rename from collects/repos-time-stamp/info.rkt
rename to collects/repo-time-stamp/info.rkt
diff --git a/collects/repos-time-stamp/stamp.rkt b/collects/repo-time-stamp/stamp.rkt
similarity index 100%
rename from collects/repos-time-stamp/stamp.rkt
rename to collects/repo-time-stamp/stamp.rkt
diff --git a/collects/repos-time-stamp/time-stamp.rkt b/collects/repo-time-stamp/time-stamp.rkt
similarity index 100%
rename from collects/repos-time-stamp/time-stamp.rkt
rename to collects/repo-time-stamp/time-stamp.rkt