openide/getPlugins.bat at 252 - openide - Gitea

MDS/openide

mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-13 15:52:01 +07:00

Files

Nikita Iarychenko 13dc8596e2 OPENIDE fix android urls in getPlugins.bat

(cherry picked from commit 066cff3efb)

2025-10-08 11:03:23 +04:00

9 lines

217 B

Batchfile

Raw Permalink Blame History

 @echo off
 :ParseArgs
 if "%~1" == "--shallow" (
     call git clone https://gitflic.ru/project/openide/android.git android --depth 1
 ) else (
     call git clone https://gitflic.ru/project/openide/android.git android
 )