Skip to content

[cleanup] Extract the default extension registry in a dedicated file #132

[cleanup] Extract the default extension registry in a dedicated file

[cleanup] Extract the default extension registry in a dedicated file #132