Grepsearch

[gaenseklein]

This is a

• [x ] New plugin.
• Update to an existing plugin.

Plugin name and version: grepsearch v1.0.0

Plugin source code zip file: zipfile.

Checklist:

• Plugin has a repo.json listing the Name, Description, Website, and License.
• I have read the instructions at https://github.com/micro-editor/plugin-channel#adding-your-own-plugin.

---

[taconi]

Hello, your repo.json does not have the License field, could you add this metadata?

It was missing from the README.md table, could you solve this?

[taconi]

@dmaluka @JoeKar @dustdfg @Andriamanitra @zyedidia Could someone do the merge?