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-01-08 15:09:39 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
dafad04681eed9c09a4841eb24cf68def2450482
openide
/
java
/
idea-ui
/
testSrc
/
com
/
intellij
History
nik
18141a240d
[platform] make facetType extension point dynamic (IDEA-225619)
...
GitOrigin-RevId: f5365be5b326b65082f06b14bff1d3fcc810fd30
2020-01-20 08:01:26 +00:00
..
facet
[platform] make facetType extension point dynamic (IDEA-225619)
2020-01-20 08:01:26 +00:00
framework
/detection
cleanup: remove useless '@author nik' from javadoc comments
2020-01-17 06:42:32 +00:00
ide
cleanup: remove useless '@author nik' from javadoc comments
2020-01-17 06:42:32 +00:00
jarRepository
…
openapi/roots/ui
/configuration
cleanup: remove useless '@author nik' from javadoc comments
2020-01-17 06:42:32 +00:00
ui
Array annotations changed to type-use style (not compilable now)
2020-01-16 08:11:51 +00:00
