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

Skip to content
Find file Blame History Permalink
  • Michael Beck's avatar
    - reformatted · 05590939
    Michael Beck authored 
    - updated some comments
- optimize_preds(): removed partially useless computations

[r8670]
    05590939

Imprint