Add support for additional extension directories#1522

Merged

CharliePoole merged 5 commits intomainfrom issue-488

Dec 13, 2024

+474-310

Commits on Dec 7, 2024

Add support for additional extension directories
CharliePoole
committed

Commits on Dec 9, 2024

Changes from review and refactoring
CharliePoole
committed

Commits on Dec 10, 2024

Revise API in order to avoid loading duplicate extensions
CharliePoole
committed

Commits on Dec 11, 2024

Refactoring and new tests
CharliePoole
committed

Commits on Dec 13, 2024

Changes from second review
CharliePoole
committed