mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
67a3c914ba
(cherry picked from commit 363ae6f566bea0b993b1a50305b870f33ccf6077)
(cherry picked from commit df0f0fb270)
9 lines
233 B
Batchfile
9 lines
233 B
Batchfile
@echo off
|
|
|
|
:ParseArgs
|
|
if "%~1" == "--shallow" (
|
|
call git clone https://git.haulmont.com/platform/open-ide/android.git android --depth 1
|
|
) else (
|
|
call git clone https://git.haulmont.com/platform/open-ide/android.git android
|
|
)
|