contrib/editmergeps.bat
author Arseniy Alekseyev <aalekseyev@janestreet.com>
Wed, 04 Jan 2023 19:13:41 +0000
changeset 49886 3aa8e569478a
parent 32567 4b9b87930cb3
permissions -rw-r--r--
merge: don't pay for pathconflicts if there are none

@echo off
powershell -NoProfile -ExecutionPolicy unrestricted -Command "& '%~dp0\editmergeps.ps1' %*"