try to handle the case if the branch has been remotely deleted in "push"
[xonotic/xonotic.git] / xonotic-linux-sdl.sh
1 xonotic-linux-glx.sh