add editor_sync tool

main
Dominik Madarász 2023-10-27 09:49:24 +02:00
parent 036f0cce09
commit 54d6774f3c
1 changed files with 7 additions and 0 deletions

View File

@ -0,0 +1,7 @@
@echo off
cd %~dp0\..
pushd tools\
rd/q/s editor
xcopy/e/y ..\..\fwk-mirror\tools\editor editor\
popd
call tools\editor_rename.bat