jeremystretch e19451bb4f Plug WG8333 in the plugins development docs

2022-01-12 14:40:33 -05:00

..

development.md

Plug WG8333 in the plugins development docs

2022-01-12 14:40:33 -05:00

index.md

Closes #6753: Add plugin removal instructions to the docs

2021-07-14 10:43:18 -04:00