Add collection to info.rkt

greghendershott · Aug 5, 2024 · dab81a7 · dab81a7
1 parent 34de574
commit dab81a7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/info.rkt b/info.rkt
@@ -1,5 +1,6 @@
 #lang info
 
+(define collection "pdb")
 (define version "0.1")
 (define deps '(["base" #:version "8.9.0.1"]
                ["drracket-tool-text-lib" #:version "1.3"]