aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/dist
Commit message (Collapse)AuthorAge
* Downgrade checker framework to 1.8.10Gravatar David Ostrovsky2017-01-20
| | | | | | Fixes #2254. Change-Id: Ia411fa321fdac9d6acdaac60a8463b92ee1ae407
* Adds the source of the checker frameworkGravatar Damien Martin-Guillerez2016-06-30
This needs to predate the rest of the changes to the checker framework to keep the build green. Also add the source of javacutil part of the checker framework, that will be included in the next change. Change-Id: Ie18d0e8e21035ce5141416e552a83d893f71b88b