MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-17 06:49:59 +07:00
Code Issues Packages Projects Releases Wiki Activity
182,022 Commits 33 Branches 9 Tags
4ce59ee86583fc5528071ad06b8c72a521baa4ae
Commit Graph
1 Commits
Author SHA1 Message Date
Tagir Valeev aff7104a99 Stream API migration: add narrowing cast if necessary when replacing += with sum() 2016-10-24 10:28:29 +07:00