commit | 8ac942e9edb37408972993d64a81319b50b1d709 | [log] [tgz] |
---|---|---|
author | mwienand <matthias.wienand@itemis.de> | Wed Jun 27 10:57:44 2018 +0200 |
committer | mwienand <matthias.wienand@itemis.de> | Wed Jun 27 10:57:44 2018 +0200 |
tree | a5c5e62bc057c19cfac3a413f74b980f27441ff3 | |
parent | 442bf102fafc2164c7952b78e4fa418cbd6511d9 [diff] |
Update php script to prevent error w.r.t. missing gef4 builds.