MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-08-11 19:31:56 +07:00
Code Issues Packages Projects Releases Wiki Activity
198,896 Commits 32 Branches 8 Tags
adbd75d0861e23d9f937bde781a96add0c998574
Commit Graph
1 Commits
Author SHA1 Message Date
Tagir Valeev 838d8a7146 IDEA-160789 Migration to Stream API: replace with mapToInt/Long/Double().sum() when possible 2016-09-06 15:50:03 +07:00