Skip to content

Build for IntelliJ IDEA IU-162.2032.8#13

Open
iEmiya wants to merge 1 commit intogark87:masterfrom
iEmiya:master
Open

Build for IntelliJ IDEA IU-162.2032.8#13
iEmiya wants to merge 1 commit intogark87:masterfrom
iEmiya:master

Conversation

@iEmiya
Copy link

@iEmiya iEmiya commented Dec 19, 2016

No description provided.

@gark87
Copy link
Owner

gark87 commented Dec 19, 2016

Thanks for patch: looks good and makes sense. But I do not use JavaCC anymore, so I have no possibility to maintain this plugin.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants