openide/getPlugins.bat at 30bb824de6800c225294dc7c8314522efee41f4e - openide - Gitea

MDS/openide

mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 15:19:59 +07:00

Files

Nikita Iarychenko 7a45e1f5d0 OPENIDE fix android urls in getPlugins.bat

(cherry picked from commit 066cff3efb)
(cherry picked from commit 13dc8596e2)
(cherry picked from commit 6957288288)

2025-12-15 12:53:49 +04:00

9 lines

217 B

Batchfile

Raw 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
 )