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

Remove support of plug-in mechanism. #222

Closed
wants to merge 1 commit into from
Closed

Conversation

egavrin
Copy link
Contributor

@egavrin egavrin commented Jun 21, 2015

This API is obsolete and can be fully replaced with existing api.h.

JerryScript-DCO-1.0-Signed-off-by: Evgeny Gavrin [email protected]

@egavrin egavrin added enhancement An improvement minor api Related to the public API labels Jun 21, 2015
@egavrin egavrin added this to the Core ECMA features milestone Jun 21, 2015
@egavrin egavrin assigned egavrin and ruben-ayrapetyan and unassigned egavrin Jun 21, 2015
@egavrin
Copy link
Contributor Author

egavrin commented Jun 21, 2015

This PR is related to #210.

@ruben-ayrapetyan
Copy link
Contributor

Looks good to me.

@egavrin egavrin assigned galpeter and unassigned egavrin Jun 22, 2015
@galpeter
Copy link
Contributor

lgtm

@galpeter galpeter removed their assignment Jun 23, 2015
@egavrin
Copy link
Contributor Author

egavrin commented Jun 23, 2015

make push ^_^

@egavrin egavrin self-assigned this Jun 23, 2015
This API is obsolete and can be fully replaced with existing `api.h`.

JerryScript-DCO-1.0-Signed-off-by: Evgeny Gavrin [email protected]
@egavrin egavrin force-pushed the remove-plugins-dev branch from 261e637 to 4baf502 Compare June 23, 2015 10:56
@egavrin
Copy link
Contributor Author

egavrin commented Jun 23, 2015

Merged as 216dc25

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
api Related to the public API enhancement An improvement minor
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants