]> git.xonotic.org Git - xonotic/xonotic.git/tree - misc/
projects / xonotic / xonotic.git / tree
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
try to handle the case if the branch has been remotely deleted in "push"
[xonotic/xonotic.git] / misc /
drwxr-xr-x   ..
drwxr-xr-x - artwork tree | history
drwxr-xr-x - buildfiles tree | history
drwxr-xr-x - mediasource tree | history
drwxr-xr-x - netradiant-NexuizPack tree | history
drwxr-xr-x - tools tree | history