-
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. applies to subdirectory tools too
5c2737a9
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
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. applies to subdirectory tools too