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

Skip to content
  • we7765's avatar
    synt/ref/tools [TASK]: declutter Makefile · e33f8714
    we7765 authored
    - remove rules being commented out for which a proper active rule exists
    - remove package creation rule, because it is obsolete in Seitosh
    - remove target makesrc, because makesrc is obsolete
    e33f8714