MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-09 16:39:37 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
970dc0fe32185712db281c130bf889cbcbebd194
openide/python/python-community-ide-resources
History
Leonid Bushuev 970dc0fe32 Remove unnecessary downcasting 
GitOrigin-RevId: b91110977db6e5b08d9f4aaffa8496d305d698e2
2019-05-03 01:40:23 +03:00
..
resources
Remove unnecessary downcasting
2019-05-03 01:40:23 +03:00
intellij.pycharm.community.resources.iml
IDEA project configuration: the great module rename
2018-01-25 12:59:04 +03:00