This repository has been archived by the owner on Nov 12, 2017. It is now read-only.
Issues: dovchinnikov/intellij-checker-framework
ProTip!
Exclude everything labeled
bug
with -label:bug.