Skip to content

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 e.gavrin@samsung.com

@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

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 e.gavrin@samsung.com
@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.

4 participants