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

Skip to content
Find file Blame History Permalink
  • Michael Beck's avatar
    fixed: · c80fbec6
    Michael Beck authored 
    - mode_is_reference() instead of mode_P
- use mode_P_mach in constructions instead of mode_P

[r1467]
    c80fbec6

Imprint