mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
1c41db8696
(cherry picked from commit 363ae6f566bea0b993b1a50305b870f33ccf6077) (cherry picked from commitdf0f0fb270) (cherry picked from commit162f3b6ea4)
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
|
|
)
|