MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-08 21:06:52 +07:00
Code Issues Packages Projects Releases Wiki Activity
450,237 Commits 17 Branches 7 Tags
28927af2153e475ff3d101e4e95cd01c87d30d43
Commit Graph

2 Commits

Author SHA1 Message Date
Tagir Valeev
66d3646f6d [java-inspections] IDEA-331613 "Overridden parameter annotations" lint should be "Overriding" 
GitOrigin-RevId: 7234832a572304695efe2fd21af60127679715df
 2023-09-15 10:19:11 +00:00
Alexey Kudravtsev
8037bdbfd1 annotate method if asked even it's (implicitly) inferred as NotNull 2017-06-29 15:55:13 +03:00