Skip to content

Add --plugin-require to auto-override-plugin to try and detect issues#3945

Merged
lihaoyi merged 1 commit intocom-lihaoyi:mainfrom lihaoyi:require-override-pluginNov 12, 2024

Commits

Commits on Nov 12, 2024