Skip to content

Remove functionality to load/unload plugins#110

Merged
vogti merged 1 commit into
masterfrom
plugin-manager-cleanup
Jun 4, 2026
Merged

Remove functionality to load/unload plugins#110
vogti merged 1 commit into
masterfrom
plugin-manager-cleanup

Conversation

@gartens

@gartens gartens commented Mar 10, 2026

Copy link
Copy Markdown
Contributor

This is the counter part to the Polypheny DB change #566.

@vogti vogti merged commit 360cae3 into master Jun 4, 2026
6 checks passed
@vogti vogti deleted the plugin-manager-cleanup branch June 4, 2026 09:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants