From 127c7d332748402778e6eeb197d4f81f97c487f1 Mon Sep 17 00:00:00 2001 From: Greg Cooper Date: Tue, 12 Dec 2006 06:13:23 +0000 Subject: [PATCH] renamed -no-mred to -lang-only svn: r5088 --- collects/frtime/{frtime-no-mred.ss => frtime-lang-only.ss} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename collects/frtime/{frtime-no-mred.ss => frtime-lang-only.ss} (100%) diff --git a/collects/frtime/frtime-no-mred.ss b/collects/frtime/frtime-lang-only.ss similarity index 100% rename from collects/frtime/frtime-no-mred.ss rename to collects/frtime/frtime-lang-only.ss