-
we7765 authored
- use git rm instead of just rm - convert all directory names first, since renaming directories effectively moves files
4eb371ed
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- use git rm instead of just rm - convert all directory names first, since renaming directories effectively moves files