Skip to content
This repository has been archived by the owner on Jun 20, 2018. It is now read-only.

Editor API #28

Merged
merged 2 commits into from
Jun 11, 2018
Merged

Editor API #28

merged 2 commits into from
Jun 11, 2018

Conversation

evidolob
Copy link

@evidolob evidolob commented Jun 8, 2018

This pull is combination of #20 pull request and code needed for Editor Objects
Signed-off-by: Yevhen Vydolob yvydolob@redhat.com

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
@evidolob
Copy link
Author

evidolob commented Jun 8, 2018

This pull request should be good enough to merge it, rest of functionality should be added by this issue eclipse-che/che#9435

@evidolob evidolob self-assigned this Jun 8, 2018
@slemeur
Copy link

slemeur commented Jun 8, 2018

Woot ! Great stuff here :)

@evidolob evidolob merged commit 2a39ca5 into master Jun 11, 2018
@evidolob evidolob deleted the editor-api2 branch June 11, 2018 07:00
benoitf pushed a commit that referenced this pull request Jun 13, 2018
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
benoitf pushed a commit that referenced this pull request Jun 18, 2018
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
benoitf pushed a commit that referenced this pull request Jun 18, 2018
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
benoitf pushed a commit that referenced this pull request Jun 19, 2018
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
benoitf pushed a commit that referenced this pull request Jun 19, 2018
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants