Skip to content

Grepsearch#95

Open
gaenseklein wants to merge 4 commits intomicro-editor:masterfrom
gaenseklein:grepsearch
Open

Grepsearch#95
gaenseklein wants to merge 4 commits intomicro-editor:masterfrom
gaenseklein:grepsearch

Conversation

@gaenseklein
Copy link
Copy Markdown

@gaenseklein gaenseklein commented Nov 27, 2023

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:


@ghost
Copy link
Copy Markdown

ghost commented Mar 23, 2024

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?

@ghost
Copy link
Copy Markdown

ghost commented Mar 24, 2024

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

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.

1 participant