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-04-19 13:02:30 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
1707b7d836f3634bf4677e25c94f99e445285b9c
openide
/
plugins
/
ant
History
Alexey Kudravtsev
743a2acf03
make doHighlighting not overridable to prevent accidental switching highlighting off, when needed to ignore the highlighting results, please override doCheckResult
...
GitOrigin-RevId: ef39ffb36cbf5519b9b2c59ce731df1613406091
2023-08-10 14:23:55 +00:00
..
jps-plugin
…
resources
…
src
IDEA-326151 update hash algo for icons
2023-08-09 14:46:20 +00:00
tests
make doHighlighting not overridable to prevent accidental switching highlighting off, when needed to ignore the highlighting results, please override doCheckResult
2023-08-10 14:23:55 +00:00
intellij.ant.iml
…
