Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content
  • Michael Beck's avatar
    Added a new attribute to block nodes: dead · 3b7785f7
    Michael Beck authored
    This attribute can only be set, not reseted and means the block is dead
    (could be replaced my Bad in old semantics).
    
    the new is_Block_dead() test chescks for the new attribute (and is_Bad() too)
    and should be used whenever a block is check with is_Bad()
    
    [r4535]
    3b7785f7