Vasily 1df8e88e3d Change RM to DEL in build, package, deploy cmd files ...

RM is the Linux command, DEL is the Windows equivalent.

2019-01-05 19:53:34 +01:00

..

build.cmd

Change RM to DEL in build, package, deploy cmd files

2019-01-05 19:53:34 +01:00

build.py

Update python scripts with docs

2019-01-04 17:07:52 +01:00

common.py

Update python scripts with docs

2019-01-04 17:07:52 +01:00

deploy.cmd

Change RM to DEL in build, package, deploy cmd files

2019-01-05 19:53:34 +01:00

format.cmd

Convert win formatting script to use LLVM_LOC instead of

2018-12-29 01:17:51 +01:00

package.cmd

Change RM to DEL in build, package, deploy cmd files

2019-01-05 19:53:34 +01:00

verify_formatting.cmd

Update PYTHON env var to PYTHON_LOC

2019-01-04 17:07:52 +01:00