rename highlevel scribbling

Because raco pain
2016-03-08 14:06:10 -05:00 · 2016-03-08 14:06:10 -05:00 · fb40c147a8
parent b979dd9d70
commit fb40c147a8
2 changed files with 1 additions and 1 deletions
--- a/prospect/info.rkt
+++ b/prospect/info.rkt
@ -1,2 +1,2 @@
 #lang setup/infotab
-(define scribblings '(("scribblings/highlevel.scrbl" ())))
+(define scribblings '(("scribblings/highlevelref.scrbl" ())))
--- a/prospect/scribblings/highlevelref.scrbl
+++ b/prospect/scribblings/highlevelref.scrbl