-
Matthias Braun authored
- rename bespilloptions.* to bespill.* and bespill.* to bespillutil.* [r26327]
f6750fd8
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- rename bespilloptions.* to bespill.* and bespill.* to bespillutil.* [r26327]