consistent use of name "Plugin Manager"

gitextensions / gitextensions.pluginmanager

Package manager for downloading and installing Git Extensions plugins.

MIT License

13 stars 10 forks source link

consistent use of name "Plugin Manager" #38

Closed mast-eu closed 5 years ago

mast-eu commented 5 years ago

Resolves #37

Proposed changes

use "Plugin Manager" everywhere

Note: I didn't change the name of the executable PackageManager.UI.exe, nor of the VS projects PackageManager.*. That seemed to be overkill to me.