mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-30 10:20:15 +07:00
d807e21b5b
(cherry picked from commit 363ae6f566bea0b993b1a50305b870f33ccf6077)
(cherry picked from commit 0d5a1db4d9)
8 lines
218 B
Bash
Executable File
8 lines
218 B
Bash
Executable File
#!/bin/bash
|
|
|
|
if [ "$1" == "--shallow" ]; then
|
|
git clone https://git.haulmont.com/platform/open-ide/android.git android --depth 1
|
|
else
|
|
git clone https://git.haulmont.com/platform/open-ide/android.git android
|
|
fi
|