-
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
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. Time values given in GAP messages are now labeled appropriately.