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

Skip to content
  • we7765's avatar
    [FIX] (incdirs): expand SERVER variables · 4f99a8c6
    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.
    
    expand SERVERLIBDIR and SERVERINCLUDEDIR lists in Makefiles found in
    - src/synt
    - src/ts
    
    Makefiles found in src/obsolete are not fixed, since code in src/obsolete is
    not actively maintained.
    4f99a8c6