MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-05 18:50:54 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
243
openide/platform/bootstrap/dev
History
Daniil Ovchinnikov 9f2b32c3c7 rename intellij.platform.devBuildServer -> intellij.platform.buildScripts.devBuildServer 
This change excludes this module from the platform.

GitOrigin-RevId: 96e159a092772b0ae9bc3faa224f544281c951f5
2024-06-24 15:32:55 +00:00
..
src/org/jetbrains/intellij/build/devServer
…
api-dump.txt
…
intellij.platform.bootstrap.dev.iml
rename intellij.platform.devBuildServer -> intellij.platform.buildScripts.devBuildServer
2024-06-24 15:32:55 +00:00