jeremystretch 1aafcf241f Enable plugins to define user preferences

2021-12-22 09:10:50 -05:00

..

development.md

Enable plugins to define user preferences

2021-12-22 09:10:50 -05:00

index.md

Closes #6753: Add plugin removal instructions to the docs

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