Added etc local profile files.

This commit is contained in:
2018-05-17 15:45:57 +02:00
parent f541aee45f
commit 3f989fed20
130 changed files with 50465 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 --config-option config:miscellany:use-commit-times=yes %*
if not errorlevel 1 set i=1
goto start
:finish