-
Matthias Braun authored
add unknown_jump opflag for the special case of a jump where we can't directly influence the destination and can't predict/change them
26421a71
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
add unknown_jump opflag for the special case of a jump where we can't directly influence the destination and can't predict/change them