Anatol Belski 1ff85dfeb3 Merge branch 'PHP-7.1' ...

* PHP-7.1:
  always use staging deps for CI, that's what we have a CI for as well

2017-03-27 18:51:00 +02:00

..

build_task.bat

Merge branch 'PHP-7.1'

2017-03-27 18:51:00 +02:00

build.bat

parametrize crt, so only one place has to be changed

2017-03-23 19:27:10 +01:00

test_task.bat

adjust deps dir naming scheme

2017-03-23 13:00:14 +01:00

test.bat

parametrize crt, so only one place has to be changed

2017-03-23 19:27:10 +01:00