Skip to content

Validator removed from plugin.xml - #12

Merged
dvojtise merged 6 commits into
eclipse-gemoc:masterfrom
Kairides:validation_language_component
Jun 15, 2020
Merged

Validator removed from plugin.xml#12
dvojtise merged 6 commits into
eclipse-gemoc:masterfrom
Kairides:validation_language_component

Conversation

@Kairides

Copy link
Copy Markdown
Contributor

Signed-off-by: Ronan Guéguen gueguen.ronan1@gmail.com

Kairides added 6 commits June 11, 2020 10:37
Signed-off-by: Ronan Guéguen <gueguen.ronan1@gmail.com>
…ge_component

Signed-off-by: Ronan Guéguen <gueguen.ronan1@gmail.com>
Signed-off-by: Ronan Guéguen <gueguen.ronan1@gmail.com>
Signed-off-by: Ronan Guéguen <gueguen.ronan1@gmail.com>
Signed-off-by: Ronan Guéguen <gueguen.ronan1@gmail.com>
@dvojtise
dvojtise merged commit 089dbf5 into eclipse-gemoc:master Jun 15, 2020
@dvojtise dvojtise added the enhancement New feature or request label Jun 16, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants