From 44ed2f45ec404205b02b0d0712b237a5cdfa6010 Mon Sep 17 00:00:00 2001 From: Brent Gordon Date: Sat, 29 Feb 2020 09:41:14 -0500 Subject: [PATCH] renamed collection --- info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/info.rkt b/info.rkt index bdaa058..6c417f6 100644 --- a/info.rkt +++ b/info.rkt @@ -1,4 +1,4 @@ #lang info -(define collection "MarioBot") +(define collection "mariobot") (define deps '("base"))