Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

PR: Rename plugins #92

Merged
merged 2 commits into from
Jun 21, 2017
Merged

PR: Rename plugins #92

merged 2 commits into from
Jun 21, 2017

Conversation

fpliger
Copy link
Contributor

@fpliger fpliger commented Jun 20, 2017

Intent if this PR is to rename the current internals.plugin module to something more meaningful in other to let command plugins land there

@fpliger
Copy link
Contributor Author

fpliger commented Jun 20, 2017

@havocp do you have a naming suggestion? Maybe internal.requirements_registry could do?

@havocp
Copy link
Contributor

havocp commented Jun 21, 2017

(I squashed the formatting commits to get a clean history.)

@havocp havocp merged commit ee872ec into master Jun 21, 2017
@havocp havocp deleted the rename-plugins branch June 21, 2017 19:55
@goanpeca goanpeca added this to the v0.8.1 milestone Oct 3, 2017
@goanpeca goanpeca changed the title [WIP] rename plugins to ... PR: Rename plugins Oct 4, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants