openide/java/idea-ui/resources at 9ea400899a1ee5712a82e83453ae19414d63c944 - openide - Gitea

MDS/openide

mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-19 21:11:28 +07:00

Files

History

Dmitry Batkovich 926897b993 add experimental jdk pre-indexing in the first user session (disabled by default, experimental quality) IDEA-327293

GitOrigin-RevId: ab932f46d09c2ccd48899e1123ab253886e8327e

2023-08-25 21:40:43 +00:00

..

…

add experimental jdk pre-indexing in the first user session (disabled by default, experimental quality) IDEA-327293

2023-08-25 21:40:43 +00:00