diff --git a/info.rkt b/info.rkt new file mode 100644 index 0000000..5da2b5f --- /dev/null +++ b/info.rkt @@ -0,0 +1,3 @@ +#lang info +(define collection "pollen") +(define scribblings '(("scribblings/pollen.scrbl" ()))) \ No newline at end of file