Skip to content

Fix use of "extension" versus "plug-in"

Andre Klapper requested to merge extensionsVsPlugins into master

Do not use the term "extensions" when plug-ins are meant.

Closes #431 (closed)

Merge request reports