rusefi
/
rusefi_documentation
mirror of https://github.com/rusefi/rusefi_documentation.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

progress

This commit is contained in:
rusefi 2020-04-17 11:55:00 -04:00
parent 4c0a2c4b37
commit 4fa1a0e614
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Special/Tools/git_merge_normal_git_into_wiki_git.bat
View File

@ -13,6 +13,6 @@ git push wiki-git HEAD:master >> log.txt 2>>err.txt
git checkout master >> log.txt 2>>err.txt
git pull >> log.txt 2>>err.txt
git branch -d wiki-git-local >> log.txt 2>>err.txt
git branch -d best-wiki-git-local >> log.txt 2>>err.txt