MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

OPENIDE fix android urls in getPlugins.bat

Browse Source 
(cherry picked from commit 066cff3efb)
(cherry picked from commit 13dc8596e2)
(cherry picked from commit 6957288288)
(cherry picked from commit 748cdb817a)
This commit is contained in:
Nikita Iarychenko
2026-09-17 12:43:54 +04:00
parent d14ed0e3ed
commit 8fbe662468
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
getPlugins.bat
+2 -2
View File
@@ -2,7 +2,7 @@
:ParseArgs
if "%~1" == "--shallow" (
call git clone git://git.jetbrains.org/idea/android.git android --depth 1
call git clone https://gitflic.ru/project/openide/android.git android --depth 1
) else (
call git clone git://git.jetbrains.org/idea/android.git android
call git clone https://gitflic.ru/project/openide/android.git android
)