MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-06 06:21:16 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
ce98d98e085c7fbe878c5a723d20491aacbd913d
openide/python/python-psi-impl/resources
T
History
andrey.matveev 88edc899f1 EA-249996 Use different names for remove unused locals quick fixes 
(cherry picked from commit 6ee1dae626fb79c827e538a3edb6a9ca12a0965d)

IJ-MR-5038

GitOrigin-RevId: fdfed5324edd72125c9a6550a7034c73cab40d83
2021-01-21 04:41:03 +00:00
..
inspectionDescriptions
…
intentionDescriptions
…
messages
EA-249996 Use different names for remove unused locals quick fixes
2021-01-21 04:41:03 +00:00
META-INF
…
tools
…