Make the extension know about the prelude #25

Merged

probablycorey merged 4 commits from extension-update into main 2025-11-07 00:57:48 +00:00

Conversation 1 Commits 4 Files Changed 6 +44 -7

4 Commits

Author	SHA1	Message	Date
Corey Johnson	669e58b71e	Merge branch 'extension-update' of 54.219.130.253:probablycorey/shrimp into extension-update	2025-11-06 16:57:21 -08:00
Corey Johnson	152aac269f	Merge remote-tracking branch 'origin/main' into extension-update	2025-11-06 16:56:34 -08:00
probablycorey	a428e98d41	Merge branch 'main' into extension-update	2025-11-07 00:56:08 +00:00
Corey Johnson	ab12212df2	Make the extension know about the prelude	2025-11-06 09:23:18 -08:00