mirror of
https://github.com/php/php-sdk-binary-tools.git
synced 2026-03-24 07:32:15 +01:00
4 lines
72 B
Batchfile
4 lines
72 B
Batchfile
@echo off
|
|
c:\Users\pierre\Documents\php-sdk\bin\patch.exe < %1
|
|
pause
|