MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-13 06:59:44 +07:00
Code Issues Packages Projects Releases Wiki Activity

OPENIDE fix android urls in getPlugins.bat

Browse Source
This commit is contained in:
Nikita Iarychenko
2025-06-05 17:56:43 +04:00
parent c09cbc8831
commit afd5dd518c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
getPlugins.bat
View File

@@ -2,7 +2,7 @@
:ParseArgs :ParseArgs
if "%~1" == "--shallow" ( if "%~1" == "--shallow" (
call git clone https://git.haulmont.com/platform/open-ide/android.git android --depth 1 call git clone https://gitflic.ru/project/openide/android.git android --depth 1
) else ( ) else (
call git clone https://git.haulmont.com/platform/open-ide/android.git android call git clone https://gitflic.ru/project/openide/android.git android
) )