mirror of
https://gitee.com/zhangsken/AndroidIDE.git
synced 2026-10-16 07:49:44 +08:00
fix: finalize indexing API; remove api versions index
This commit is contained in:
Generated
+1
@@ -116,6 +116,7 @@
|
||||
<module name="AndroidIDE.colorschemes" target="11" />
|
||||
<module name="AndroidIDE.colorschemes.main" target="11" />
|
||||
<module name="AndroidIDE.common" target="17" />
|
||||
<module name="AndroidIDE.core.di" target="17" />
|
||||
<module name="AndroidIDE.core.indexing" target="17" />
|
||||
<module name="AndroidIDE.editor-api" target="17" />
|
||||
<module name="AndroidIDE.editor-languages" target="11" />
|
||||
|
||||
Reference in New Issue
Block a user