mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit 363ae6f566bea0b993b1a50305b870f33ccf6077)
(cherry picked from commit df0f0fb270)
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
|