Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Document ErrorProne tool #999

Closed
Tracked by #1669
0pdd opened this issue Jan 16, 2019 · 0 comments
Closed
Tracked by #1669

Document ErrorProne tool #999

0pdd opened this issue Jan 16, 2019 · 0 comments
Assignees
Labels
area/documentation resolution/gone Non-reproducible, obsolete, outdated issues techdebt
Milestone

Comments

@0pdd
Copy link

0pdd commented Jan 16, 2019

The puzzle 971-32d95143 from #971 has to be resolved:

<!-- @todo #971 Document ErrorProne tool -->

The puzzle was created by Slava Semushin on 16-Jan-19.

@0pdd 0pdd added the techdebt label Jan 16, 2019
@php-coder php-coder changed the title Document ErrorProne tool --> Document ErrorProne tool Jan 16, 2019
@php-coder php-coder self-assigned this Feb 9, 2024
@php-coder php-coder added this to the 0.4.8 milestone Feb 9, 2024
@php-coder php-coder added resolution/wontfix resolution/gone Non-reproducible, obsolete, outdated issues and removed resolution/wontfix labels Feb 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/documentation resolution/gone Non-reproducible, obsolete, outdated issues techdebt
Projects
None yet
Development

No branches or pull requests

2 participants