Skip to content

Conversation

smoench
Copy link
Contributor

@smoench smoench commented Jun 18, 2019

PHPStorm could not resolve them.

@jaapio jaapio merged commit ca7d0fc into phpDocumentor:master Jun 18, 2019
@jaapio
Copy link
Member

jaapio commented Jun 18, 2019

thanks

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