This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
You've already forked openide
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-02-05 08:06:56 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
a3e09ba828226375752020fe6f769b87f772ef67
openide
/
java
/
execution
History
Nikolay Chashnikov
0e4dd0cedc
[java] API cleanup: remove unused deprecated API (IJPL-156972)
...
GitOrigin-RevId: c8cfa9d13c20cd712f9ab3ab1b8e5fcfd9a2ecaf
2024-10-04 17:44:13 +00:00
..
impl
[java] API cleanup: remove unused deprecated API (IJPL-156972)
2024-10-04 17:44:13 +00:00
jshell-frontend
no reason to use Java 9 level for jshell - level was set to 9 for historical reasons (JShell comes bundled into JDK since Java 9)
2024-09-30 09:09:01 +00:00
jshell-protocol
no reason to use Java 9 level for jshell - level was set to 9 for historical reasons (JShell comes bundled into JDK since Java 9)
2024-09-30 09:09:01 +00:00
openapi
[java-console] IDEA-359033 incorrect place for class name in stacktrace for hprof
2024-09-18 11:00:06 +00:00
