From f24f11c317fabf901cd7d5ad671d6f1b81cdc7f6 Mon Sep 17 00:00:00 2001 From: Mustafa Date: Sat, 15 Feb 2014 16:39:08 -0800 Subject: [PATCH] renamed rsc3.rkt to main.rkt, edit info.rkt --- info.rkt | 2 +- rsc3/{rsc3.rkt => main.rkt} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename rsc3/{rsc3.rkt => main.rkt} (100%) diff --git a/info.rkt b/info.rkt index 17a457b..b851188 100644 --- a/info.rkt +++ b/info.rkt @@ -1,3 +1,3 @@ -#lang info +#lang setup/infotab (define collection 'multi) diff --git a/rsc3/rsc3.rkt b/rsc3/main.rkt similarity index 100% rename from rsc3/rsc3.rkt rename to rsc3/main.rkt