Moved under "windows" dir.

This commit is contained in:
2018-05-13 14:10:59 +02:00
parent d1ee124c01
commit f541aee45f
117 changed files with 0 additions and 0 deletions

View File

@@ -0,0 +1,12 @@
@echo off
rem This is required to perform svn commands because they often fails, so we repeat them
rem until they succeed.
set i=0
:start
if not "%i%"=="0" goto finish
svn %*
if not errorlevel 1 set i=1
goto start
:finish