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-03-22 06:50:54 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
b95c41986e1da47ab334116f1dbd1f9b5d800619
openide
/
plugins
/
htmltools
History
Alexey Kudravtsev
b95c41986e
replace some immutableSet() with more standard Set.of()
...
GitOrigin-RevId: 3efd3c74490ef85971909ff3461d0f6cf8746aa7
2023-02-20 02:44:57 +00:00
..
resources
…
src
replace some immutableSet() with more standard Set.of()
2023-02-20 02:44:57 +00:00
testData
…
testSrc
…
intellij.html.tools.iml
…
