-
Lukas 'Eipi' Eipert authored
We had trouble in the past with firewalls tripping over tildes in URLs. So we are replacing them with a hyphen.
d943e3e2
We had trouble in the past with firewalls tripping over tildes in URLs. So we are replacing them with a hyphen.