MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-07-27 04:03:29 +07:00
Code Issues Packages Projects Releases Wiki Activity
161,810 Commits 31 Branches 8 Tags
ba4cd7405604cf61d4b6346f3801a9d9f682ccbd
Commit Graph
1 Commits
Author SHA1 Message Date
Anna Kozlova 4518420113 don't correct substitution if not applicable, e.g. for unresolved functional types 2015-08-18 19:15:37 +02:00