From 60c0c9d75359c77e6dc81e9ff6edbcafbfabd697 Mon Sep 17 00:00:00 2001 From: Jack Firth Date: Mon, 6 Jul 2015 20:50:45 -0700 Subject: [PATCH] Change collection and doc names --- lens/info.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lens/info.rkt b/lens/info.rkt index 18f7adf..c80a2ed 100644 --- a/lens/info.rkt +++ b/lens/info.rkt @@ -1,4 +1,4 @@ #lang info -(define name "lenses") -(define scribblings '(("main.scrbl" () (library) "lenses"))) +(define name "lens") +(define scribblings '(("main.scrbl" () (library) "lens")))