MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 06:50:54 +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)
(cherry picked from commit 1c088fca70)
(cherry picked from commit f0c8e914a8)
(cherry picked from commit 7479ae6cf0)
This commit is contained in:
Nikita Iarychenko
2025-04-10 16:46:25 +04:00
parent f18441cf3b
commit ac4165fec8
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
getPlugins.sh
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