MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 22:51:17 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
a33d7253a02f39f9b51ba09ba54388e574b7d50c
openide/java/openapi/resources
History
Louis Vignier a33d7253a0 [jdk] Add a checkbox in the settings to disable JDK updates 
#IDEA-330415 Fixed

GitOrigin-RevId: f669e4e59832816fe5fb7d9107ca24dd03ed60b0
2024-04-26 19:56:08 +00:00
..
icons
…
messages
[jdk] Add a checkbox in the settings to disable JDK updates
2024-04-26 19:56:08 +00:00
JavaMavenIconMappings.json
…