Skip to content
Snippets Groups Projects
user avatar
Matthias Schiffer authored
We have Git for history, there's no reason to keep old files that aren't
used anymore.
7f2b93e7
History
Name Last commit Last update