From dab81a749d4f7fa8ea63d344b118e4d051d12f69 Mon Sep 17 00:00:00 2001
From: Greg Hendershott <git@greghendershott.com>
Date: Mon, 5 Aug 2024 10:49:23 -0400
Subject: [PATCH] Add `collection` to info.rkt

---
 info.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/info.rkt b/info.rkt
index 2c7eb95..f6b085a 100644
--- 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"]