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

fix android repository urls

Browse Source 
(cherry picked from commit 45ada2f8fb362df2f922986bc25c9fcc0bf23fd3)
(cherry picked from commit d45168a439)
This commit is contained in:
Nikita Iarychenko
2025-10-08 11:03:16 +04:00
parent 329224341b
commit 1c088fca70
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
getPlugins.sh
+2 -2
View File
@@ -1,7 +1,7 @@
#!/bin/bash
if [ "$1" == "--shallow" ]; then
git clone https://git.haulmont.com/platform/open-ide/android.git android --depth 1
git clone https://gitflic.ru/project/openide/android.git android --depth 1
else
git clone https://git.haulmont.com/platform/open-ide/android.git android
git clone https://gitflic.ru/project/openide/android.git android
fi