tree a5c5e62bc057c19cfac3a413f74b980f27441ff3
parent 442bf102fafc2164c7952b78e4fa418cbd6511d9
author mwienand <matthias.wienand@itemis.de> 1530089864 +0200
committer mwienand <matthias.wienand@itemis.de> 1530089864 +0200

Update php script to prevent error w.r.t. missing gef4 builds.