Skip to content
This repository has been archived by the owner on Mar 8, 2020. It is now read-only.

Remove duplicated Identifier role for Qualified nodes #122

Merged
merged 1 commit into from
Oct 5, 2017
Merged

Remove duplicated Identifier role for Qualified nodes #122

merged 1 commit into from
Oct 5, 2017

Conversation

juanjux
Copy link
Contributor

@juanjux juanjux commented Oct 5, 2017

Fixes #96

Signed-off-by: Juanjo Alvarez juanjo@sourced.tech

Fixes #96

Signed-off-by: Juanjo Alvarez <juanjo@sourced.tech>
@juanjux juanjux self-assigned this Oct 5, 2017
@juanjux juanjux requested a review from abeaumont October 5, 2017 11:23
@juanjux juanjux merged commit f4a9ae1 into bblfsh:master Oct 5, 2017
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.

None yet

2 participants