get rid of TRAVIS_JOB_NUMBER so stuff can be cached
authorMichael Wallner <mike@php.net>
Fri, 2 Mar 2018 14:27:20 +0000 (15:27 +0100)
committerMichael Wallner <mike@php.net>
Fri, 2 Mar 2018 14:27:20 +0000 (15:27 +0100)
commit2622a78d9eb346103f502445f6ac8d315ebfecc5
treeb36b00a69540f341e5841b00d87651bc25fafd3a
parent165f61f020ee6de84051c4a463e7f8b7d1f87958
get rid of TRAVIS_JOB_NUMBER so stuff can be cached
Makefile
fetch-master.sh [new file with mode: 0755]
gen-matrix.php