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

Skip to content
  • we7765's avatar
    [FIX][FEATURE] (anyextract): properly name values · 14737964
    we7765 authored
    This is a legacy commit from before 2015-03-01.
    It may be incomplete as well as inconsistent.
    See COPYING.legacy and README.history for details.
    
    Time values given in GAP messages are now labeled appropriately.
    14737964